APIC_INT_VECT0
mdb_printf("as_int_vect0\t%x\n", papic[APIC_INT_VECT0]);
apic_reg_ops->apic_write(APIC_INT_VECT0, AV_MASK|APIC_RESV_IRQ);
sp->as_int_vect0 = apic_reg_ops->apic_read(APIC_INT_VECT0);
apic_reg_ops->apic_write(APIC_INT_VECT0, sp->as_int_vect0);
apic_reg_ops->apic_write(APIC_INT_VECT0, AV_MASK|APIC_RESV_IRQ);
apic_reg_ops->apic_write(APIC_INT_VECT0, AV_MASK);
xpv_apicadr[APIC_INT_VECT0] = AV_MASK; /* local intr reg 0 */