Searched refs:get_vgif_vmcb (Results 1 – 1 of 1) sorted by relevance
597 static inline struct vmcb *get_vgif_vmcb(struct vcpu_svm *svm) in get_vgif_vmcb() function610 struct vmcb *vmcb = get_vgif_vmcb(svm); in enable_gif()620 struct vmcb *vmcb = get_vgif_vmcb(svm); in disable_gif()630 struct vmcb *vmcb = get_vgif_vmcb(svm); in gif_set()