Searched refs:as_int_vect1 (Results 1 – 1 of 1) sorted by relevance
2244 int32_t as_int_vect1; member2301 sp->as_int_vect1 = apic_reg_ops->apic_read(APIC_INT_VECT1); in apic_save_state()2343 apic_reg_ops->apic_write(APIC_INT_VECT1, sp->as_int_vect1); in apic_restore_state()