Searched refs:as_local_timer (Results 1 – 1 of 1) sorted by relevance
2241 int32_t as_local_timer; member2298 sp->as_local_timer = apic_reg_ops->apic_read(APIC_LOCAL_TIMER); in apic_save_state()2340 apic_reg_ops->apic_write(APIC_LOCAL_TIMER, sp->as_local_timer); in apic_restore_state()