PHYS_TO_PPN
cmd.dword1 = PHYS_TO_PPN(addr) << FUNC_IOTINVAL_ADDR_S;
q->base |= PHYS_TO_PPN(q->paddr) << CQB_PPN_S;
ddt->base = PHYS_TO_PPN(reg) << DDTP_PPN_S;
ddt->base = PHYS_TO_PPN(reg) << DDTP_PPN_S;
val = PHYS_TO_PPN(l1_desc->pa) << DC_NON_LEAF_ENTRY_PPN_S;