efi_random_get_seed  237 drivers/firmware/efi/libstub/arm-stub.c 	efi_random_get_seed(sys_table);
efi_random_get_seed   66 drivers/firmware/efi/libstub/efistub.h efi_status_t efi_random_get_seed(efi_system_table_t *sys_table_arg);