<dec f='src/src/sys/arch/xen/include/intrdefs.h' l='12'/>
<use f='src/src/sys/arch/amd64/amd64/db_interface.c' l='135' u='c'/>
<use f='src/src/sys/arch/xen/x86/xen_ipi.c' l='139' u='c'/>
