APICBASE_ADDR_MASK
if ((diff & APICBASE_ADDR_MASK) != 0) {
val = (val & ~APICBASE_ADDR_MASK) | DEFAULT_APIC_BASE;