Searched refs:tdx_setup_event_notify_interrupt (Results 1 – 1 of 1) sorted by relevance
1592 static int tdx_setup_event_notify_interrupt(struct kvm_vcpu *vcpu)1625 return tdx_setup_event_notify_interrupt(vcpu); in tdx_topup_external_pamt_cache() 1572 static int tdx_setup_event_notify_interrupt(struct kvm_vcpu *vcpu) tdx_setup_event_notify_interrupt() function