pub type ACPI_TIME_RESOLUTION = i32;