247 	struct vmcb *vmcb;  member
400 static inline void vmcb_mark_all_dirty(struct vmcb *vmcb)  in vmcb_mark_all_dirty()
405 static inline void vmcb_mark_all_clean(struct vmcb *vmcb)  in vmcb_mark_all_clean()
411 static inline void vmcb_mark_dirty(struct vmcb *vmcb, int bit)  in vmcb_mark_dirty()
416 static inline bool vmcb_is_dirty(struct vmcb *vmcb, int bit)  in vmcb_is_dirty()
462 	struct vmcb *vmcb = svm->vmcb01.ptr;  in set_exception_intercept()  local
472 	struct vmcb *vmcb = svm->vmcb01.ptr;  in clr_exception_intercept()  local
482 	struct vmcb *vmcb = svm->vmcb01.ptr;  in svm_set_intercept()  local
491 	struct vmcb *vmcb = svm->vmcb01.ptr;  in svm_clr_intercept()  local
522 	struct vmcb *vmcb = get_vgif_vmcb(svm);  in enable_gif()  local
532 	struct vmcb *vmcb = get_vgif_vmcb(svm);  in disable_gif()  local
542 	struct vmcb *vmcb = get_vgif_vmcb(svm);  in gif_set()  local
583 	struct vmcb *vmcb = get_vnmi_vmcb_l1(svm);  in is_vnmi_enabled()  local