Searched defs:gaddr (Results 1 – 5 of 5) sorted by relevance
111 static unsigned int dbg_rw_guest_mem(struct domain *dp, void * __user gaddr, in dbg_rw_guest_mem()
188 long do_update_descriptor(uint64_t gaddr, seg_desc_t d) in do_update_descriptor()
362 uint32_t cpu_nr, uint32_t domain, uint64_t gaddr) in inject()469 uint64_t gaddr, max_gpa; in main() local
284 paddr_t gaddr; in pvh_setup_vmx_realmode_helpers() local
1502 paddr_t gaddr; in do_mca() local
Completed in 418 milliseconds