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

/barrelfish-master/usr/acpi/
H A Dintel_vtd.c503 struct frame_identity pe_frame_id; local
508 err = frame_identify(pe_frame, &pe_frame_id);
510 err = vspace_map_one_frame_attr(&pe_vaddr, pe_frame_id.bytes, pe_frame,
513 assert((pe_frame_id.base & BASE_PAGE_MASK) == 0 &&
524 identity_domain = vtd_new_domain(domains->min_did, pe_frame_id.base, empty_pml4, vtd_units);

Completed in 30 milliseconds