DDTP_PPN_S
ddt->base = PHYS_TO_PPN(reg) << DDTP_PPN_S;
#define DDTP_PPN_M (0xfffffffffffULL << DDTP_PPN_S)