Type Definition acpica_sys::ACPI_INTEGER [] [src]

type ACPI_INTEGER = UINT64;