Symbol: efi_rng
sys/stand/efiboot/efirng.h
37
int efi_rng(void *, UINTN);
sys/stand/efiboot/exec.c
156
if (efi_rng((void *)(uintptr_t)addr, size)) {