Constant HAL_PLATFORM_ACPI_TABLES_CACHED 

pub const HAL_PLATFORM_ACPI_TABLES_CACHED: i32 = 32i32;