Home
last modified time | relevance | path

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

/linux-6.6.21/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.c1703 int ret = vcpu_info->evtchn_upcall_pending ? IRQ_HANDLED : IRQ_NONE; in xen_evtchn_do_upcall()
1717 vcpu_info->evtchn_upcall_pending = 0; in xen_evtchn_do_upcall()
1725 } while (vcpu_info->evtchn_upcall_pending); in xen_evtchn_do_upcall()
/linux-6.6.21/tools/testing/selftests/kvm/x86_64/
Dxen_shinfo_test.c135 uint8_t evtchn_upcall_pending; member
173 vi->evtchn_upcall_pending = 0; in evtchn_handler()
398 printf("evtchn_upcall_pending 0x%x\n", vinfo->evtchn_upcall_pending); in handle_alrm()
613 vinfo->evtchn_upcall_pending = 0; in main()
644 vinfo->evtchn_upcall_pending = 1; in main()
/linux-6.6.21/arch/x86/kvm/
Dxen.c532 WRITE_ONCE(vi->evtchn_upcall_pending, 1); in kvm_xen_inject_pending_events()
544 WRITE_ONCE(vi->evtchn_upcall_pending, 1); in kvm_xen_inject_pending_events()
567 BUILD_BUG_ON(offsetof(struct vcpu_info, evtchn_upcall_pending) != in __kvm_xen_has_interrupt()
568 offsetof(struct compat_vcpu_info, evtchn_upcall_pending)); in __kvm_xen_has_interrupt()
570 sizeof_field(struct vcpu_info, evtchn_upcall_pending)); in __kvm_xen_has_interrupt()
572 sizeof_field(struct compat_vcpu_info, evtchn_upcall_pending)); in __kvm_xen_has_interrupt()
599 rc = ((struct vcpu_info *)gpc->khva)->evtchn_upcall_pending; in __kvm_xen_has_interrupt()
1630 WRITE_ONCE(vcpu_info->evtchn_upcall_pending, 1); in kvm_xen_set_evtchn_fast()
1637 WRITE_ONCE(vcpu_info->evtchn_upcall_pending, 1); in kvm_xen_set_evtchn_fast()
Dxen.h182 uint8_t evtchn_upcall_pending; member
/linux-6.6.21/arch/x86/kernel/
Dasm-offsets.c66 OFFSET(XEN_vcpu_info_pending, vcpu_info, evtchn_upcall_pending); in common()
/linux-6.6.21/include/xen/interface/
Dxen.h531 uint8_t evtchn_upcall_pending; member
/linux-6.6.21/Documentation/virt/kvm/
Dapi.rst8267 for event channel upcalls when the evtchn_upcall_pending field of a vcpu's