Searched refs:DBoardInitFn (Results 1 – 1 of 1) sorted by relevance
191 typedef void DBoardInitFn(VexpressMachineState *machine, typedef206 DBoardInitFn *init;