Symbol: VTD_CTX_PRESENT
sys/amd64/vmm/intel/vtd.c
451
if (ctxp[idx] & VTD_CTX_PRESENT) {
sys/amd64/vmm/intel/vtd.c
472
ctxp[idx] |= pt_paddr | VTD_CTX_PRESENT;