212 	struct vmcb *vmcb;  member
343 static inline void vmcb_mark_all_dirty(struct vmcb *vmcb)  in vmcb_mark_all_dirty()
348 static inline void vmcb_mark_all_clean(struct vmcb *vmcb)  in vmcb_mark_all_clean()
354 static inline void vmcb_mark_dirty(struct vmcb *vmcb, int bit)  in vmcb_mark_dirty()
359 static inline bool vmcb_is_dirty(struct vmcb *vmcb, int bit)  in vmcb_is_dirty()
405 	struct vmcb *vmcb = svm->vmcb01.ptr;  in set_exception_intercept()  local
415 	struct vmcb *vmcb = svm->vmcb01.ptr;  in clr_exception_intercept()  local
425 	struct vmcb *vmcb = svm->vmcb01.ptr;  in svm_set_intercept()  local
434 	struct vmcb *vmcb = svm->vmcb01.ptr;  in svm_clr_intercept()  local
465 	struct vmcb *vmcb = get_vgif_vmcb(svm);  in enable_gif()  local
475 	struct vmcb *vmcb = get_vgif_vmcb(svm);  in disable_gif()  local
485 	struct vmcb *vmcb = get_vgif_vmcb(svm);  in gif_set()  local
526 	struct vmcb *vmcb = get_vnmi_vmcb_l1(svm);  in is_vnmi_enabled()  local