evtchn_pending_sel (reference) in projects: xen-4.10.0-shim-comet

Searched refs:evtchn_pending_sel (Results 1 – 6 of 6) sorted by relevance

/xen-4.10.0-shim-comet/xen/common/
A D	event_2l.c	`33 &vcpu_info(v, evtchn_pending_sel)) ) in evtchn_2l_set_pending() 58 &vcpu_info(v, evtchn_pending_sel)) ) in evtchn_2l_unmask() 86 &vcpu_info(v, evtchn_pending_sel))); in evtchn_2l_print_state()`
A D	domain.c	`1225 set_bit(i, &vcpu_info(v, evtchn_pending_sel)); in map_vcpu_info()`
/xen-4.10.0-shim-comet/xen/arch/x86/guest/
A D	xen.c	`200 pending = xchg(&vcpu_info->evtchn_pending_sel, 0); in xen_evtchn_upcall()`
/xen-4.10.0-shim-comet/unmodified_drivers/linux-2.6/platform-pci/
A D	evtchn.c	`258 l1 = xchg(&v->evtchn_pending_sel, 0); in evtchn_interrupt()`
/xen-4.10.0-shim-comet/xen/include/public/
A D	xen.h	`687 xen_ulong_t evtchn_pending_sel; member`
/xen-4.10.0-shim-comet/tools/libxc/
A D	xc_sr_restore_x86_pv.c	`896 SET_FIELD(guest_shinfo, vcpu_info[i].evtchn_pending_sel, in handle_shared_info()`

Completed in 10 milliseconds