<dec f='src/src/sys/arch/xen/include/intrdefs.h' l='15'/>
<use f='src/src/sys/arch/xen/x86/xen_ipi.c' l='138' u='c'/>
<use f='src/src/sys/arch/xen/x86/xen_ipi.c' l='307' u='c'/>
<use f='src/src/sys/arch/xen/x86/xen_ipi.c' l='311' u='c'/>
