211 	struct vmcb *vmcb;  member
342 static inline void vmcb_mark_all_dirty(struct vmcb *vmcb)  in vmcb_mark_all_dirty()
347 static inline void vmcb_mark_all_clean(struct vmcb *vmcb)  in vmcb_mark_all_clean()
353 static inline void vmcb_mark_dirty(struct vmcb *vmcb, int bit)  in vmcb_mark_dirty()
358 static inline bool vmcb_is_dirty(struct vmcb *vmcb, int bit)  in vmcb_is_dirty()
404 	struct vmcb *vmcb = svm->vmcb01.ptr;  in set_exception_intercept()  local
414 	struct vmcb *vmcb = svm->vmcb01.ptr;  in clr_exception_intercept()  local
424 	struct vmcb *vmcb = svm->vmcb01.ptr;  in svm_set_intercept()  local
433 	struct vmcb *vmcb = svm->vmcb01.ptr;  in svm_clr_intercept()  local
464 	struct vmcb *vmcb = get_vgif_vmcb(svm);  in enable_gif()  local
474 	struct vmcb *vmcb = get_vgif_vmcb(svm);  in disable_gif()  local
484 	struct vmcb *vmcb = get_vgif_vmcb(svm);  in gif_set()  local
525 	struct vmcb *vmcb = get_vnmi_vmcb_l1(svm);  in is_vnmi_enabled()  local