APIC_DIVIDE_REG
mdb_printf("as_divide_reg\t%x\n", papic[APIC_DIVIDE_REG]);
apic_reg_ops->apic_write(APIC_DIVIDE_REG, apic_divide_reg_init);
sp->as_divide_reg = apic_reg_ops->apic_read(APIC_DIVIDE_REG);
apic_reg_ops->apic_write(APIC_DIVIDE_REG, sp->as_divide_reg);
apic_reg_ops->apic_write(APIC_DIVIDE_REG, apic_divide_reg_init);
apic_reg_ops->apic_write(APIC_DIVIDE_REG, apic_divide_reg_init);
apic_reg_ops->apic_write(APIC_DIVIDE_REG, apic_divide_reg_init);
xpv_apicadr[APIC_DIVIDE_REG] = 0;