<dec f='src/src/sys/arch/xen/include/xen-public/event_channel.h' l='240' type='__uint32_t'/>
<use f='src/src/sys/arch/xen/include/hypervisor.h' l='173' u='w' c='hypervisor_notify_via_evtchn'/>
<offset>0</offset>
<use f='src/src/sys/arch/xen/xen/evtchn.c' l='372' u='w' c='bind_vcpu_to_evtch'/>
<use f='src/src/sys/arch/xen/xen/evtchn.c' l='418' u='w' c='bind_virq_to_evtch'/>
<use f='src/src/sys/arch/xen/xen/evtchn.c' l='464' u='w' c='unbind_virq_from_evtch'/>
<use f='src/src/sys/arch/xen/xenbus/xenbus_client.c' l='241' u='w' c='xenbus_alloc_evtchn'/>
