vmx_get_interrupt_shadow
return vmx_get_interrupt_shadow(vcpu);
u32 interrupt_shadow = vmx_get_interrupt_shadow(vcpu);
vmx_get_interrupt_shadow(vcpu))
u32 vmx_get_interrupt_shadow(struct kvm_vcpu *vcpu);
u32 vmx_get_interrupt_shadow(struct kvm_vcpu *vcpu);