<dec f='src/src/sys/arch/x86/include/cpu_extended_state.h' l='135' type='__uint64_t'/>
<offset>4096</offset>
