<dec f='src/src/sys/arch/amd64/include/pcb.h' l='86' type='__uint64_t'/>
<offset>192</offset>
<use f='src/src/sys/arch/amd64/amd64/machdep.c' l='1564' u='w' c='init_x86_64'/>
<use f='src/src/sys/arch/x86/x86/pmap.c' l='2782' u='w' c='pmap_load'/>
<use f='src/src/sys/arch/xen/x86/cpu.c' l='692' u='w' c='cpu_hatch'/>
