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

/vbox/src/VBox/Devices/EFI/Firmware/StdLib/Include/Arm/machine/
H A Dcpufunc.h125 void (*cf_icache_sync_range) __P((vaddr_t, vsize_t));
128 void (*cf_dcache_wbinv_range) __P((vaddr_t, vsize_t));
129 void (*cf_dcache_inv_range) __P((vaddr_t, vsize_t));
130 void (*cf_dcache_wb_range) __P((vaddr_t, vsize_t));
133 void (*cf_idcache_wbinv_range) __P((vaddr_t, vsize_t));
256 void arm8_cache_cleanID_rng __P((vaddr_t, vsize_t));
257 void arm8_cache_cleanD_rng __P((vaddr_t, vsize_t));
258 void arm8_cache_purgeID_rng __P((vaddr_t, vsize_t));
259 void arm8_cache_purgeD_rng __P((vaddr_t, vsize_t));
260 void arm8_cache_syncI_rng __P((vaddr_t, vsize_
[all...]
H A Dtypes.h56 typedef PHYSICAL_ADDRESS vaddr_t; typedef
/vbox/src/VBox/Devices/EFI/Firmware/StdLib/Include/Ia32/machine/
H A Dtypes.h56 typedef PHYSICAL_ADDRESS vaddr_t; typedef
/vbox/src/VBox/Devices/EFI/Firmware/StdLib/Include/Ipf/machine/
H A Dtypes.h46 typedef PHYSICAL_ADDRESS vaddr_t; typedef
H A Dvmparam.h96 #define VM_MIN_ADDRESS ((vaddr_t)0)
97 #define VM_MAX_ADDRESS ((vaddr_t) IA64_RR_BASE(5))
101 #define VM_MAX_KERNEL_ADDRESS ((vaddr_t) (IA64_RR_BASE(6) - 1))
H A Dpmap.h87 paddr_t vtophys(vaddr_t);
111 vaddr_t pv_va; /* virtual address for mapping */
H A Dmd_var.h62 extern vaddr_t kernstart, kernend;
H A Dloadfile_machdep.h46 extern vaddr_t ia64_unwindtab;
H A Ddb_machdep.h43 typedef vaddr_t db_addr_t; /* address - unsigned */
/vbox/src/VBox/Devices/EFI/Firmware/StdLib/Include/X64/machine/
H A Dtypes.h51 typedef PHYSICAL_ADDRESS vaddr_t; typedef

Completed in 43 milliseconds