1 /* 2 * Copyright (c) 2003-2017 Cavium Inc. ([email protected]). All rights 3 * reserved. 4 * Copyright 2017-present Facebook, Inc. 5 * 6 * SPDX-License-Identifier: BSD-3-Clause 7 * 8 * bdk-minimal.h: Subset of bdk.h used by coreboot 9 */ 10 11 #ifndef BDK_MINIMAL_H__ 12 #define BDK_MINIMAL_H__ 13 14 #include <console/console.h> /* for printk */ 15 #include <endian.h> 16 #include <stddef.h> /* for NULL */ 17 18 #define bdk_le16_to_cpu(x) le16_to_cpu(x) 19 #define bdk_le32_to_cpu(x) le32_to_cpu(x) 20 #define bdk_le64_to_cpu(x) le64_to_cpu(x) 21 #define bdk_be16_to_cpu(x) be16_to_cpu(x) 22 #define bdk_be32_to_cpu(x) be32_to_cpu(x) 23 #define bdk_be64_to_cpu(x) be64_to_cpu(x) 24 #define bdk_cpu_to_le16(x) cpu_to_le16(x) 25 #define bdk_cpu_to_le32(x) cpu_to_le32(x) 26 #define bdk_cpu_to_le64(x) cpu_to_le64(x) 27 28 #define printf(format, ...) printk(BIOS_DEBUG, format, ##__VA_ARGS__) 29 #define puts(str) printk(BIOS_INFO, str) 30 #define fflush(x) /* output gets flushed automatically */ 31 32 /* careful, the ordering matters for some headers */ 33 #include <libbdk-arch/bdk-warn.h> 34 #include <libbdk-arch/bdk-asm.h> 35 #include <libbdk-arch/bdk-model.h> 36 #include <libbdk-arch/bdk-numa.h> 37 #include <libbdk-hal/bdk-access.h> 38 39 #include <libbdk-arch/bdk-require.h> 40 41 #include <libbdk-arch/bdk-csr.h> 42 43 #include <libbdk-os/bdk-thread.h> 44 45 /* FIXME: experiment to see if including the universe here will solve some 46 * current build issues... */ 47 #include <libbdk-arch/bdk-arch.h> 48 #include <libbdk-boot/bdk-boot.h> 49 #include <libbdk-dram/bdk-dram.h> 50 #include <libdram/libdram.h> 51 getenv(const char * name)52static inline char *getenv(const char *name) { return NULL; } 53 54 #endif /* BDK_MINIMAL_H__ */ 55