<def f='src/src/sys/sys/kcore.h' l='47' ll='52'/>
<size>12</size>
<mbr r='kcore_hdr::c_midmag' o='0' t='__uint32_t'/>
<mbr r='kcore_hdr::c_hdrsize' o='32' t='__uint16_t'/>
<mbr r='kcore_hdr::c_seghdrsize' o='48' t='__uint16_t'/>
<mbr r='kcore_hdr::c_nseg' o='64' t='__uint32_t'/>
