Searched refs:timer_block_id (Results 1 – 1 of 1) sorted by relevance
1497 uint32_t timer_block_id; member1894 hpet->timer_block_id = cpu_to_le32(0x8086a201); in acpi_bios_init()