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