Searched refs:event_timer_block_id (Results 1 – 3 of 3) sorted by relevance
16 pub event_timer_block_id: u32, field65 fw_cfg.hpet[hpet_id].event_timer_block_id = timer_block_id; in update_hpet_cfg()
64 uint32_t event_timer_block_id; member
654 hpet_fw_cfg.hpet[s->hpet_id].event_timer_block_id = (uint32_t)s->capability; in hpet_reset()