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