<dec f='src/src/sys/arch/x86/include/cpu_extended_state.h' l='137' type='__uint64_t [5]'/>
<offset>4288</offset>
