Searched defs:gva (Results 1 – 8 of 8) sorted by relevance
| /xen/arch/arm/ |
| A D | guest_walk.c | 22 vaddr_t gva, paddr_t *ipa, in guest_walk_sd()
314 static unsigned int get_top_bit(struct domain *d, vaddr_t gva, register_t tcr) in get_top_bit()
355 vaddr_t gva, paddr_t *ipa, in guest_walk_ld()
554 bool guest_walk_tables(const struct vcpu *v, vaddr_t gva, in guest_walk_tables()
|
| A D | guestcopy.c | 21 } gva; member
|
| A D | mem_access.c | 92 p2m_mem_access_check_and_get_page(vaddr_t gva, unsigned long flag, in p2m_mem_access_check_and_get_page()
|
| A D | traps.c | 1721 vaddr_t gva; in get_hfar() local
1735 static inline paddr_t get_faulting_ipa(vaddr_t gva) in get_faulting_ipa()
1827 vaddr_t gva; in do_trap_stage2_abort_guest() local
|
| /xen/arch/arm/include/asm/ |
| A D | mem_access.h | 55 p2m_mem_access_check_and_get_page(vaddr_t gva, unsigned long flag, in p2m_mem_access_check_and_get_page()
|
| /xen/arch/x86/include/asm/hvm/vmx/ |
| A D | vmx.h | 425 static always_inline void __invvpid(unsigned long type, u16 vpid, u64 gva) in __invvpid()
430 u64 gva; in __invvpid() member
455 static inline void vpid_sync_vcpu_gva(struct vcpu *v, unsigned long gva) in vpid_sync_vcpu_gva()
|
| /xen/arch/x86/mm/hap/ |
| A D | hap.c | 818 struct vcpu *v, struct p2m_domain *p2m, unsigned long gva, uint32_t *pfec) in hap_gva_to_gfn_real_mode()
|
| /xen/include/public/ |
| A D | domctl.h | 794 uint64_aligned_t gva; /* guest virtual address */ member
|
Completed in 89 milliseconds