Symbol: VTD_CTX_PRESENT
usr/src/uts/intel/io/vmm/intel/vtd.c
610
if (ctxp[idx] & VTD_CTX_PRESENT) {
usr/src/uts/intel/io/vmm/intel/vtd.c
630
ctxp[idx] |= pt_paddr | VTD_CTX_PRESENT;