Home
last modified time | relevance | path

Searched refs:evtchn_upcall_pending (Results 1 – 8 of 8) sorted by relevance

/linux-6.12.1/drivers/xen/events/
Devents_2l.c133 vcpu_info->evtchn_upcall_pending = 1; in evtchn_2l_unmask()
285 pending, v->evtchn_upcall_pending, in xen_debug_interrupt()
Devents_base.c1701 int ret = vcpu_info->evtchn_upcall_pending ? IRQ_HANDLED : IRQ_NONE; in xen_evtchn_do_upcall()
1715 vcpu_info->evtchn_upcall_pending = 0; in xen_evtchn_do_upcall()
1723 } while (vcpu_info->evtchn_upcall_pending); in xen_evtchn_do_upcall()
/linux-6.12.1/tools/testing/selftests/kvm/x86_64/
Dxen_shinfo_test.c136 uint8_t evtchn_upcall_pending; member
175 vcpu_arch_put_guest(vi->evtchn_upcall_pending, 0); in evtchn_handler()
391 printf("evtchn_upcall_pending 0x%x\n", vinfo->evtchn_upcall_pending); in handle_alrm()
626 vinfo->evtchn_upcall_pending = 0; in main()
657 vinfo->evtchn_upcall_pending = 1; in main()
/linux-6.12.1/arch/x86/kvm/
Dxen.c626 WRITE_ONCE(vi->evtchn_upcall_pending, 1); in kvm_xen_inject_pending_events()
638 WRITE_ONCE(vi->evtchn_upcall_pending, 1); in kvm_xen_inject_pending_events()
661 BUILD_BUG_ON(offsetof(struct vcpu_info, evtchn_upcall_pending) != in __kvm_xen_has_interrupt()
662 offsetof(struct compat_vcpu_info, evtchn_upcall_pending)); in __kvm_xen_has_interrupt()
664 sizeof_field(struct vcpu_info, evtchn_upcall_pending)); in __kvm_xen_has_interrupt()
666 sizeof_field(struct compat_vcpu_info, evtchn_upcall_pending)); in __kvm_xen_has_interrupt()
693 rc = ((struct vcpu_info *)gpc->khva)->evtchn_upcall_pending; in __kvm_xen_has_interrupt()
1813 WRITE_ONCE(vcpu_info->evtchn_upcall_pending, 1); in kvm_xen_set_evtchn_fast()
1820 WRITE_ONCE(vcpu_info->evtchn_upcall_pending, 1); in kvm_xen_set_evtchn_fast()
Dxen.h200 uint8_t evtchn_upcall_pending; member
/linux-6.12.1/arch/x86/kernel/
Dasm-offsets.c66 OFFSET(XEN_vcpu_info_pending, vcpu_info, evtchn_upcall_pending); in common()
/linux-6.12.1/include/xen/interface/
Dxen.h531 uint8_t evtchn_upcall_pending; member
/linux-6.12.1/Documentation/virt/kvm/
Dapi.rst8743 for event channel upcalls when the evtchn_upcall_pending field of a vcpu's