Searched refs:pt_paddr (Results 1 – 1 of 1) sorted by relevance
440 vm_paddr_t pt_paddr; in vtd_add_device() local448 pt_paddr = vtophys(dom->ptp); in vtd_add_device()472 ctxp[idx] |= pt_paddr | VTD_CTX_PRESENT; in vtd_add_device()