Searched refs:get_vgif_vmcb (Results 1 – 1 of 1) sorted by relevance
509 static inline struct vmcb *get_vgif_vmcb(struct vcpu_svm *svm) in get_vgif_vmcb() function522 struct vmcb *vmcb = get_vgif_vmcb(svm); in enable_gif()532 struct vmcb *vmcb = get_vgif_vmcb(svm); in disable_gif()542 struct vmcb *vmcb = get_vgif_vmcb(svm); in gif_set()