TTBR_CnP
ttbr_flags |= TTBR_CnP;
ttbr0 |= TTBR_CnP;
ttbr1 |= TTBR_CnP;
~(TTBR_ASID_MASK | TTBR_CnP);
~(TTBR_ASID_MASK | TTBR_CnP);
paging->ttbr0_addr = regs[0] & ~(TTBR_ASID_MASK | TTBR_CnP);
paging->ttbr1_addr = regs[1] & ~(TTBR_ASID_MASK | TTBR_CnP);