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

int efi_take_random_seed(void);