<dec f='src/src/sys/arch/xen/include/intrdefs.h' l='11'/>
<use f='src/src/sys/arch/x86/x86/fpu.c' l='490' u='c'/>
<use f='src/src/sys/arch/xen/x86/xen_ipi.c' l='139' u='c'/>
