Searched refs:as_init_count (Results 1 – 1 of 1) sorted by relevance
2246 int32_t as_init_count; member2303 sp->as_init_count = apic_reg_ops->apic_read(APIC_INIT_COUNT); in apic_save_state()2345 apic_reg_ops->apic_write(APIC_INIT_COUNT, sp->as_init_count); in apic_restore_state()