Symbol: efi_rng_show
sys/stand/efiboot/boot.c
430
efi_rng_show();
sys/stand/efiboot/efirng.h
35
void efi_rng_show(void);