<dec f='src/src/sys/arch/xen/include/intrdefs.h' l='13'/>
<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='284' u='c'/>
<use f='src/src/sys/arch/xen/x86/xen_ipi.c' l='288' u='c'/>
