<dec f='src/src/sys/compat/linux/common/linux_fdio.h' l='154' type='int'/>
<offset>800</offset>
