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

/darwin-on-arm/xnu/osfmk/arm/
H A Dcpufunc.h57 extern void arm_icache_sync_range(vaddr_t, vsize_t);
59 extern void arm_dcache_wb_range(vaddr_t, vsize_t);
60 extern void arm_dcache_wbinv_range(vaddr_t, vsize_t);
61 extern void arm_dcache_inv_range(vaddr_t, vsize_t);
62 extern void arm_idcache_wbinv_range(vaddr_t, vsize_t);
H A Dpmap.h96 typedef uint32_t vaddr_t; /* Virtual address */ typedef
100 vaddr_t pm_l1_virt; /* L1 virtual table address */
101 vaddr_t pm_l2_cache; /* L2 page tables */

Completed in 20 milliseconds