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

/darwin-on-arm/xnu/osfmk/arm/
H A Dcpufunc.h62 extern void arm_idcache_wbinv_range(vaddr_t, vsize_t);
/darwin-on-arm/xnu/osfmk/arm/armv/
H A Dcpufunc-v6.s174 /* LINTSTUB: void arm_idcache_wbinv_range(vaddr_t, vsize_t); */
175 ENTRY(arm_idcache_wbinv_range) function
182 END(arm_idcache_wbinv_range)
H A Dcpufunc-v7.s247 /* * LINTSTUB: void arm_idcache_wbinv_range(vaddr_t, vsize_t); */
248 ENTRY(arm_idcache_wbinv_range) function
268 END(arm_idcache_wbinv_range)

Completed in 78 milliseconds