Searched refs:as_dest_reg (Results 1 – 1 of 1) sorted by relevance
2239 int32_t as_dest_reg; member2295 sp->as_dest_reg = apic_reg_ops->apic_read(APIC_DEST_REG); in apic_save_state()2337 apic_reg_ops->apic_write(APIC_DEST_REG, sp->as_dest_reg); in apic_restore_state()