Searched defs:cf_tlb_flushID (Results 1 - 1 of 1) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/StdLib/Include/Arm/machine/
H A Dcpufunc.h67 void (*cf_tlb_flushID) __P((void)); member in struct:cpu_functions
166 #define cpu_tlb_flushID() cpufuncs.cf_tlb_flushID()

Completed in 32 milliseconds