/* $NetBSD: efilibplat.h,v 1.1.1.1 2021/09/30 18:50:09 jmcneill Exp $ */ /* SPDX-License-Identifier: GPL-2.0+ */ VOID InitializeLibPlatform ( IN EFI_HANDLE ImageHandle, IN EFI_SYSTEM_TABLE *SystemTable );