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