<def f='src/src/sys/arch/x86/include/efi.h' l='113' ll='119'/>
<size>24</size>
<mbr r='efi_tblhdr::th_sig' o='0' t='__uint64_t'/>
<mbr r='efi_tblhdr::th_rev' o='64' t='__uint32_t'/>
<mbr r='efi_tblhdr::th_hdrsz' o='96' t='__uint32_t'/>
<mbr r='efi_tblhdr::th_crc32' o='128' t='__uint32_t'/>
<mbr r='efi_tblhdr::__res' o='160' t='__uint32_t'/>
