Searched defs:gaddr (Results 1 – 6 of 6) sorted by relevance
362 uint32_t cpu_nr, uint32_t domain, uint64_t gaddr) in inject()469 uint64_t gaddr, max_gpa; in main() local
291 long do_update_descriptor(uint64_t gaddr, seg_desc_t d) in do_update_descriptor()
1539 int map_guest_area(struct vcpu *v, paddr_t gaddr, unsigned int size, in map_guest_area()1982 paddr_t gaddr; in common_vcpu_op() local
524 paddr_t gaddr, size, end; in process_shm_node() local
272 paddr_t gaddr; in pvh_setup_vmx_realmode_helpers() local
1485 paddr_t gaddr; in do_mca() local
Completed in 22 milliseconds