Lines Matching defs:va
175 sh_walk_guest_tables(struct vcpu *v, unsigned long va, walk_t *gw, in sh_walk_guest_tables()
196 shadow_check_gwalk(struct vcpu *v, unsigned long va, walk_t *gw, int version) in shadow_check_gwalk()
283 gw_remove_write_accesses(struct vcpu *v, unsigned long va, walk_t *gw) in gw_remove_write_accesses()
2705 static inline void trace_shadow_gen(u32 event, guest_va_t va) in trace_shadow_gen()
2715 guest_va_t va) in trace_shadow_fixup()
2723 guest_va_t va; in trace_shadow_fixup() member
2739 guest_va_t va) in trace_not_shadow_fault()
2747 guest_va_t va; in trace_not_shadow_fault() member
2763 guest_va_t va, in trace_shadow_emulate_other()
2776 guest_va_t va; in trace_shadow_emulate_other() member
2794 static inline void trace_shadow_emulate(guest_l1e_t gl1e, unsigned long va) in trace_shadow_emulate()
2802 guest_va_t va; in trace_shadow_emulate() member
2830 unsigned long va, in sh_page_fault()
3571 static bool sh_invlpg(struct vcpu *v, unsigned long va) in sh_invlpg()
3704 unsigned long va, uint32_t *pfec) in sh_gva_to_gfn()