usr/acpi/intel_vtd.c

190     struct vnode_identity pml4_id;
191     err = invoke_vnode_identify(cap, &pml4_id);
193     genpaddr_t pt = pml4_id.base;
194     if (pml4_id.type != ObjType_VNode_x86_64_pml4) {
202     pml4_id.base = 0;
203     pml4_id.type = 0;
204     err = invoke_vnode_identify(identity_domain->pml4, &pml4_id);
206     if (pml4_id.base == pt) {
345     struct vnode_identity pml4_id;
346     err = invoke_vnode_identify(pml4, &pml4_id);
348     genpaddr_t pt = pml4_id.base;
349     if (pml4_id.type != ObjType_VNode_x86_64_pml4) return VTD_ERR_INVALID_CAP;
381     struct vnode_identity pml4_id;
382     err = invoke_vnode_identify(pml4, &pml4_id);
384     genpaddr_t pt = pml4_id.base;
385     if (pml4_id.type != ObjType_VNode_x86_64_pml4) return VTD_ERR_INVALID_CAP;