155     ((b - a) as i64) < 0  in hpet_time_after()
236         // SAFETY: HPETTimer is only used as part of HPETState, which is  in init_timer_with_cell()
297         ((self.config & HPET_TN_CFG_INT_ROUTE_MASK) >> HPET_TN_CFG_INT_ROUTE_SHIFT) as usize  in get_individual_route()
317             // routed as per the routing in the timer n config registers.  in get_int_route()
336                         self.fsb as u32, // Timer N FSB int value, truncate!  in set_irq()
422             self.cmp = u64::from(self.cmp as u32); // truncate!  in set_tn_cfg_reg()
423             self.period = u64::from(self.period as u32); // truncate!  in set_tn_cfg_reg()
444             value = u64::from(value as u32); // truncate!  in set_tn_cmp_reg()
490                 self.cmp = u64::from(self.cmp64 as u32); // truncate!  in callback()
694             // not be changed as well).  in set_counter_reg()
745             ((self.num_timers - 1) as u64) << HPET_CAP_NUM_TIM_SHIFT | // indicate the last timer  in realize()
766             self.capability.get() as u32,  in reset_hold()
770         // to document that the RTC lowers its output on reset as well  in reset_hold()
775         let shift = ((addr & 4) * 8) as u32;  in decode()
782             let timer_id: usize = ((addr - 0x100) / 0x20) as usize;  in decode()
794         // convert the Err case into HPETRegister as well  in decode()
854         self.num_timers_save.set(self.num_timers as u8);  in pre_save()
892     type Class = <SysBusDevice as ObjectType>::Class;
921         bit = HPET_FLAG_MSI_SUPPORT_SHIFT as u8,
961     state.pre_save() as c_int  in hpet_pre_save()
970     state.post_load(version) as c_int  in hpet_post_load()