<dec f='src/src/sys/compat/linux/arch/amd64/linux_machdep.h' l='55' type='u_int32_t [64]'/>
<offset>1280</offset>
