<dec f='src/src/sys/arch/x86/include/cpufunc.h' l='51' type='void x86_flush()'/>
<use f='src/src/sys/arch/xen/x86/cpu.c' l='686' u='c' c='cpu_hatch'/>
