<dec f='src/src/sys/arch/x86/include/cpu.h' l='225' type='__uintptr_t'/>
<offset>18112</offset>
