CONTEXTIDR_EL1_REG
WRITE_SPECIALREG(CONTEXTIDR_EL1_REG, PCPU_GET(cpuid));
WRITE_SPECIALREG(CONTEXTIDR_EL1_REG, 0);