TTBR_BADDR_MASK_52
and \ttbr, \ttbr, #TTBR_BADDR_MASK_52
#define phys_to_ttbr(addr) (((addr) | ((addr) >> 46)) & TTBR_BADDR_MASK_52)