Searched refs:cf_tlb_flushD (Results 1 - 1 of 1) sorted by relevance
| /vbox/src/VBox/Devices/EFI/Firmware/StdLib/Include/Arm/machine/ | ||
| H A D | cpufunc.h | 71 void (*cf_tlb_flushD) __P((void)); member in struct:cpu_functions 170 #define cpu_tlb_flushD() cpufuncs.cf_tlb_flushD() |
Completed in 837 milliseconds