Searched refs:as_pcint_vect (Results 1 – 1 of 1) sorted by relevance
2242 int32_t as_pcint_vect; member2299 sp->as_pcint_vect = apic_reg_ops->apic_read(APIC_PCINT_VECT); in apic_save_state()2341 apic_reg_ops->apic_write(APIC_PCINT_VECT, sp->as_pcint_vect); in apic_restore_state()