lib/riscv64/initplat.c

/*	$NetBSD: initplat.c,v 1.1.1.1 2021/09/30 18:50:09 jmcneill Exp $	*/

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

#include "lib.h"

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