APIC_SPUR_INT_REG
mdb_printf("as_spur_int_reg\t%x\n", papic[APIC_SPUR_INT_REG]);
apic_reg_ops->apic_write(APIC_SPUR_INT_REG, svr);
sp->as_spur_int_reg = apic_reg_ops->apic_read(APIC_SPUR_INT_REG);
apic_reg_ops->apic_write(APIC_SPUR_INT_REG, sp->as_spur_int_reg);
apic_reg_ops->apic_write(APIC_SPUR_INT_REG, svr);
apic_reg_ops->apic_write(APIC_SPUR_INT_REG, APIC_SPUR_INTR);
xpv_apicadr[APIC_SPUR_INT_REG] = AV_UNIT_ENABLE | APIC_SPUR_INTR;