Searched refs:get_vgif_vmcb (Results 1 – 1 of 1) sorted by relevance
538 static inline struct vmcb *get_vgif_vmcb(struct vcpu_svm *svm) in get_vgif_vmcb() function551 struct vmcb *vmcb = get_vgif_vmcb(svm); in enable_gif()561 struct vmcb *vmcb = get_vgif_vmcb(svm); in disable_gif()571 struct vmcb *vmcb = get_vgif_vmcb(svm); in gif_set()