<dec f='src/src/sys/arch/x86/include/efi.h' l='145' type='__uint32_t'/>
<offset>256</offset>
<use f='src/src/sys/arch/x86/x86/efi.c' l='257' u='r' c='efi_getsystbl'/>
