<dec f='src/src/sys/arch/x86/include/cpu_extended_state.h' l='136' type='__uint64_t [2]'/>
<offset>4160</offset>
