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

/device/linaro/bootloader/edk2/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 14 milliseconds