<dec f='src/src/sys/sys/pipe.h' l='80' type='vaddr_t'/>
<offset>0</offset>
<doc f='src/src/sys/sys/pipe.h' l='80'>/* kernel virtual address */</doc>
