Searched defs:__uint64_t (Results 1 - 4 of 4) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/StdLib/Include/Arm/machine/
H A Dint_types.h52 typedef UINT64 __uint64_t; typedef
/vbox/src/VBox/Devices/EFI/Firmware/StdLib/Include/Ia32/machine/
H A Dint_types.h52 typedef UINT64 __uint64_t; typedef
/vbox/src/VBox/Devices/EFI/Firmware/StdLib/Include/Ipf/machine/
H A Dint_types.h51 typedef __COMPILER_UINT64__ __uint64_t; typedef
54 typedef unsigned long int __uint64_t; typedef
59 typedef unsigned long long int __uint64_t; typedef
/vbox/src/VBox/Devices/EFI/Firmware/StdLib/Include/X64/machine/
H A Dint_types.h64 typedef UINT64 __uint64_t; typedef

Completed in 42 milliseconds