Searched refs:cpu_dcache_wbinv_range (Results 1 - 1 of 1) sorted by relevance
| /vbox/src/VBox/Devices/EFI/Firmware/StdLib/Include/Arm/machine/ | ||
| H A D | cpufunc.h | 177 #define cpu_dcache_wbinv_range(a, s) cpufuncs.cf_dcache_wbinv_range((a), (s)) macro |
Completed in 1735 milliseconds