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

/vbox/src/VBox/Devices/EFI/Firmware/StdLib/Include/Arm/machine/
H A Dcpufunc.h133 void (*cf_idcache_wbinv_range) __P((vaddr_t, vsize_t)); member in struct:cpu_functions
182 #define cpu_idcache_wbinv_range(a, s) cpufuncs.cf_idcache_wbinv_range((a), (s))

Completed in 44 milliseconds