210 	struct vmcb *vmcb;  member
341 static inline void vmcb_mark_all_dirty(struct vmcb *vmcb)  in vmcb_mark_all_dirty()
346 static inline void vmcb_mark_all_clean(struct vmcb *vmcb)  in vmcb_mark_all_clean()
352 static inline void vmcb_mark_dirty(struct vmcb *vmcb, int bit)  in vmcb_mark_dirty()
357 static inline bool vmcb_is_dirty(struct vmcb *vmcb, int bit)  in vmcb_is_dirty()
403 	struct vmcb *vmcb = svm->vmcb01.ptr;  in set_exception_intercept()  local
413 	struct vmcb *vmcb = svm->vmcb01.ptr;  in clr_exception_intercept()  local
423 	struct vmcb *vmcb = svm->vmcb01.ptr;  in svm_set_intercept()  local
432 	struct vmcb *vmcb = svm->vmcb01.ptr;  in svm_clr_intercept()  local
463 	struct vmcb *vmcb = get_vgif_vmcb(svm);  in enable_gif()  local
473 	struct vmcb *vmcb = get_vgif_vmcb(svm);  in disable_gif()  local
483 	struct vmcb *vmcb = get_vgif_vmcb(svm);  in gif_set()  local
524 	struct vmcb *vmcb = get_vnmi_vmcb_l1(svm);  in is_vnmi_enabled()  local