<dec f='src/src/sys/arch/xen/include/xen-public/xen.h' l='439' type='__uint32_t'/>
<offset>192</offset>
<use f='src/src/sys/arch/xen/x86/cpu.c' l='1072' u='r' c='cpu_get_tsc_freq'/>
<use f='src/src/sys/arch/xen/xen/clock.c' l='125' u='r' c='get_time_values_from_xen'/>
