phys_to_ttbr
#define phys_to_ttbr(addr) (((addr) | ((addr) >> 46)) & TTBR_BADDR_MASK_52)
#define phys_to_ttbr(addr) (addr)