<dec f='src/src/sys/sys/cpu_data.h' l='110' type='__int64_t'/>
<offset>3328</offset>
<use f='src/src/sys/arch/x86/x86/cpu.c' l='778' u='r' c='cpu_boot_secondary'/>
<use f='src/src/sys/arch/x86/x86/cpu.c' l='784' u='r' c='cpu_boot_secondary'/>
<use f='src/src/sys/arch/x86/x86/cpu.c' l='786' u='r' c='cpu_boot_secondary'/>
<use f='src/src/sys/arch/x86/x86/tsc.c' l='230' u='w' c='tsc_sync_bp'/>
