lib/riscv64/initplat.c


1
2
3
4
5
6
7
8
9
10
11

// SPDX-License-Identifier: GPL-2.0+

#include "lib.h"

VOID
InitializeLibPlatform (
    IN EFI_HANDLE           ImageHandle EFI_UNUSED,
    IN EFI_SYSTEM_TABLE     *SystemTable EFI_UNUSED
    )
{
}