Symbol: INT64
sys/compat/linuxkpi/common/include/acpi/acpi.h
56
typedef int64_t INT64;
sys/sys/efi-edk2.h
24
typedef int64_t INT64;