<dec f='src/src/sys/arch/x86/include/mpbiosreg.h' l='81' type='__uint32_t'/>
<offset>224</offset>
