APIC_ARBPRI
v = apic_read(APIC_ARBPRI);
case APIC_ARBPRI:
valid_reg_mask |= APIC_REG_MASK(APIC_ARBPRI) |
X2APIC_MSR(APIC_ARBPRI),