vmx_get_interrupt_shadow 3201 arch/x86/kvm/vmx/nested.c 	u32 interrupt_shadow = vmx_get_interrupt_shadow(vcpu);
vmx_get_interrupt_shadow 7843 arch/x86/kvm/vmx/vmx.c 	.get_interrupt_shadow = vmx_get_interrupt_shadow,
vmx_get_interrupt_shadow  319 arch/x86/kvm/vmx/vmx.h u32 vmx_get_interrupt_shadow(struct kvm_vcpu *vcpu);