<dec f='src/src/sys/arch/amd64/amd64/machdep.c' l='1440' macro='1' type='void Xsyscall()'/>
<use f='src/src/sys/arch/amd64/amd64/machdep.c' l='1791' u='r' c='init_x86_64'/>
<dec f='src/src/sys/arch/xen/x86/cpu.c' l='753' type='void Xsyscall()'/>
<use f='src/src/sys/arch/xen/x86/cpu.c' l='869' u='r' c='xen_init_amd64_vcpuctxt'/>
