/* * Copyright (c) 2003-2017 Cavium Inc. (support@cavium.com). All rights * reserved. * Copyright 2017-present Facebook, Inc. * * SPDX-License-Identifier: BSD-3-Clause * * bdk-minimal.h: Subset of bdk.h used by coreboot */ #ifndef BDK_MINIMAL_H__ #define BDK_MINIMAL_H__ #include <console/console.h> /* for printk */ #include <endian.h> #include <stddef.h> /* for NULL */ #define bdk_le16_to_cpu(x) le16_to_cpu(x) #define bdk_le32_to_cpu(x) le32_to_cpu(x) #define bdk_le64_to_cpu(x) le64_to_cpu(x) #define bdk_be16_to_cpu(x) be16_to_cpu(x) #define bdk_be32_to_cpu(x) be32_to_cpu(x) #define bdk_be64_to_cpu(x) be64_to_cpu(x) #define bdk_cpu_to_le16(x) cpu_to_le16(x) #define bdk_cpu_to_le32(x) cpu_to_le32(x) #define bdk_cpu_to_le64(x) cpu_to_le64(x) #define printf(format, ...) printk(BIOS_DEBUG, format, ##__VA_ARGS__) #define puts(str) printk(BIOS_INFO, str) #define fflush(x) /* output gets flushed automatically */ /* careful, the ordering matters for some headers */ #include <libbdk-arch/bdk-warn.h> #include <libbdk-arch/bdk-asm.h> #include <libbdk-arch/bdk-model.h> #include <libbdk-arch/bdk-numa.h> #include <libbdk-hal/bdk-access.h> #include <libbdk-arch/bdk-require.h> #include <libbdk-arch/bdk-csr.h> #include <libbdk-os/bdk-thread.h> /* FIXME: experiment to see if including the universe here will solve some * current build issues... */ #include <libbdk-arch/bdk-arch.h> #include <libbdk-boot/bdk-boot.h> #include <libbdk-dram/bdk-dram.h> #include <libdram/libdram.h> static inline char *getenv(const char *name) { return NULL; } #endif /* BDK_MINIMAL_H__ */