pub const HAL_PLATFORM_ACPI_TABLES_CACHED: i32 = 32i32;