<dec f='src/src/sys/compat/linux/common/linux_fdio.h' l='140' type='void *'/>
<offset>64</offset>
