Searched defs:cpu_dcache_wb_range (Results 1 - 1 of 1) sorted by relevance
| /vbox/src/VBox/Devices/EFI/Firmware/StdLib/Include/Arm/machine/ | ||
| H A D | cpufunc.h | 179 #define cpu_dcache_wb_range(a, s) cpufuncs.cf_dcache_wb_range((a), (s)) macro |
Completed in 279 milliseconds