Searched refs:empty_pml4 (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/acpi/
H A Dintel_vtd.c516 struct capref empty_pml4; local
517 err = slot_alloc(&empty_pml4);
519 err = vnode_create(empty_pml4, ObjType_VNode_x86_64_pml4);
524 identity_domain = vtd_new_domain(domains->min_did, pe_frame_id.base, empty_pml4, vtd_units);

Completed in 30 milliseconds