Searched refs:vsize_t (Results 1 - 6 of 6) sorted by relevance
/vbox/src/VBox/Devices/EFI/Firmware/StdLib/Include/Arm/machine/ |
H A D | cpufunc.h | 125 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 D | types.h | 57 typedef UINT64 vsize_t; typedef
|
/vbox/src/VBox/Devices/EFI/Firmware/StdLib/Include/Ia32/machine/ |
H A D | types.h | 57 typedef UINT64 vsize_t; typedef
|
/vbox/src/VBox/Devices/EFI/Firmware/StdLib/Include/Ipf/machine/ |
H A D | types.h | 47 typedef UINT64 vsize_t; typedef
|
H A D | loadfile_machdep.h | 47 extern vsize_t ia64_unwindtablen;
|
/vbox/src/VBox/Devices/EFI/Firmware/StdLib/Include/X64/machine/ |
H A D | types.h | 52 typedef UINT64 vsize_t; typedef
|
Completed in 1172 milliseconds