247 	struct vmcb *vmcb;  member
393 static inline void vmcb_mark_all_dirty(struct vmcb *vmcb)  in vmcb_mark_all_dirty()
398 static inline void vmcb_mark_all_clean(struct vmcb *vmcb)  in vmcb_mark_all_clean()
404 static inline void vmcb_mark_dirty(struct vmcb *vmcb, int bit)  in vmcb_mark_dirty()
409 static inline bool vmcb_is_dirty(struct vmcb *vmcb, int bit)  in vmcb_is_dirty()
455 	struct vmcb *vmcb = svm->vmcb01.ptr;  in set_exception_intercept()  local
465 	struct vmcb *vmcb = svm->vmcb01.ptr;  in clr_exception_intercept()  local
475 	struct vmcb *vmcb = svm->vmcb01.ptr;  in svm_set_intercept()  local
484 	struct vmcb *vmcb = svm->vmcb01.ptr;  in svm_clr_intercept()  local
515 	struct vmcb *vmcb = get_vgif_vmcb(svm);  in enable_gif()  local
525 	struct vmcb *vmcb = get_vgif_vmcb(svm);  in disable_gif()  local
535 	struct vmcb *vmcb = get_vgif_vmcb(svm);  in gif_set()  local
576 	struct vmcb *vmcb = get_vnmi_vmcb_l1(svm);  in is_vnmi_enabled()  local