Searched refs:vsize_t (Results 1 - 6 of 6) 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_t));
[all...]
H A Dtypes.h57 typedef UINT64 vsize_t; typedef
/vbox/src/VBox/Devices/EFI/Firmware/StdLib/Include/Ia32/machine/
H A Dtypes.h57 typedef UINT64 vsize_t; typedef
/vbox/src/VBox/Devices/EFI/Firmware/StdLib/Include/Ipf/machine/
H A Dtypes.h47 typedef UINT64 vsize_t; typedef
H A Dloadfile_machdep.h47 extern vsize_t ia64_unwindtablen;
/vbox/src/VBox/Devices/EFI/Firmware/StdLib/Include/X64/machine/
H A Dtypes.h52 typedef UINT64 vsize_t; typedef

Completed in 33 milliseconds