APIC_FORMAT_REG
mdb_printf("as_format_reg\t%x\n", papic[APIC_FORMAT_REG]);
apic_reg_ops->apic_write(APIC_FORMAT_REG,
apic_reg_ops->apic_write(APIC_FORMAT_REG,
sp->as_format_reg = apic_reg_ops->apic_read(APIC_FORMAT_REG);
apic_reg_ops->apic_write(APIC_FORMAT_REG, sp->as_format_reg);
apic_reg_ops->apic_write(APIC_FORMAT_REG, APIC_FLAT_MODEL);
apic_reg_ops->apic_write(APIC_FORMAT_REG, APIC_CLUSTER_MODEL);