<dec f='src/src/sys/arch/x86/include/efi.h' l='151' type='void *'/>
<offset>576</offset>
