Symbol: EFI_BLOCK_READAHEAD
sys/stand/efiboot/efiblock.c
202
efi_ra_buffer = AllocatePool(EFI_BLOCK_READAHEAD);
sys/stand/efiboot/efiblock.c
213
len = EFI_BLOCK_READAHEAD;