<dec f='src/src/sys/arch/x86/include/cpu.h' l='158' type='volatile __uint32_t'/>
<offset>9312</offset>
<use f='src/src/sys/arch/x86/x86/lapic.c' l='275' u='r' c='lapic_get_timecount'/>
<use f='src/src/sys/arch/x86/x86/lapic.c' l='303' u='w' c='lapic_clockintr'/>
