TTBCR_A1
orr \tmp, \tmp, #TTBCR_A1
bic \tmp, \tmp, #TTBCR_A1
cpu_set_ttbcr(old_ttbcr & ~(TTBCR_A1 | TTBCR_EPD0 | TTBCR_T0SZ_MASK));