<dec f='src/src/sys/sys/kcore.h' l='50' type='__uint16_t'/>
<offset>48</offset>
