<dec f='src/src/sys/arch/xen/include/evtchn.h' l='54' type='int bind_virq_to_evtch(int )'/>
<use f='src/src/sys/arch/xen/xen/clock.c' l='522' u='c' c='xen_resumeclocks'/>
<use f='src/src/sys/arch/xen/xen/evtchn.c' l='183' u='c' c='events_init'/>
<def f='src/src/sys/arch/xen/xen/evtchn.c' l='388' ll='439' type='int bind_virq_to_evtch(int virq)'/>
<use f='src/src/sys/arch/xen/xen/xencons.c' l='239' u='c' c='xencons_resume'/>
