/* SPDX-License-Identifier: LGPL-2.1-or-later */
#pragma once

int efi_take_random_seed(void);