APIC_PCINT_VECT
mdb_printf("as_pcint_vect\t%x\n", papic[APIC_PCINT_VECT]);
apic_reg_ops->apic_write(APIC_PCINT_VECT,
sp->as_pcint_vect = apic_reg_ops->apic_read(APIC_PCINT_VECT);
apic_reg_ops->apic_write(APIC_PCINT_VECT, sp->as_pcint_vect);
apic_reg_ops->apic_write(APIC_PCINT_VECT,
apic_reg_ops->apic_write(APIC_PCINT_VECT,
(apic_reg_ops->apic_read(APIC_PCINT_VECT) & ~APIC_LVT_MASK));
apic_reg_ops->apic_write(APIC_PCINT_VECT, AV_MASK);