Searched refs:as_format_reg (Results 1 – 1 of 1) sorted by relevance
2309 int32_t as_format_reg; member2366 sp->as_format_reg = apic_reg_ops->apic_read(APIC_FORMAT_REG); in apic_save_state()2407 apic_reg_ops->apic_write(APIC_FORMAT_REG, sp->as_format_reg); in apic_restore_state()