Searched defs:ident_pt (Results 1 – 2 of 2) sorted by relevance
282 uint32_t rc, *ident_pt; in pvh_setup_vmx_realmode_helpers() local
631 uint32_t *ident_pt, domid = dom->guest_domid; in alloc_magic_pages_hvm() local
Completed in 8 milliseconds