/*
 * Copyright (c) 2025 Netflix, Inc.
 *
 * SPDX-License-Identifier: BSD-2-Clause
 */
#ifndef _SYS_EFI_FREEBSD_H_
#define _SYS_EFI_FREEBSD_H_

/*
 * Minimal defines to allow FreeBSD to use the same type names as EDK2,
 * but without depending on all of EDK2's types.
 */
#include <sys/_null.h>

#endif /* _SYS_EFI_FREEBSD_H_ */