<dec f='src/src/sys/dev/wscons/wsconsio.h' l='663' type='__uint32_t'/>
<offset>32</offset>
