4 files changed, 0 insertions, 186 deletions
diff --git a/firmware/arch/arm/include/biosincludes.h b/firmware/arch/arm/include/biosincludes.h
deleted file mode 100644
index e48f7c1b..00000000
--- a/firmware/arch/arm/include/biosincludes.h
+++ /dev/null
@@ -1,52 +0,0 @@
-/* Copyright (c) 2010 The Chromium OS Authors. All rights reserved.
- * Use of this source code is governed by a BSD-style license that can be
- * found in the LICENSE file.
- *
- * ARM firmware platform-specific definitions
- */
-
-#ifndef __ARCH_ARM_BIOSINCLUDES_H__
-#define __ARCH_ARM_BIOSINCLUDES_H__
-
-typedef unsigned char uint8_t;
-typedef unsigned short uint16_t;
-typedef unsigned int uint32_t;
-typedef unsigned long long uint64_t;
-typedef signed long long int64_t;
-typedef unsigned int size_t;
-
-#ifndef NULL
-#define NULL ((void*) 0)
-#endif
-
-#define UINT32_C(x) ((uint32_t) x)
-#define UINT64_C(x) ((uint64_t) x)
-#define PRIu32 "u"
-#define PRIu64 "llu"
-extern void debug(const char *format, ...);
-
-#define POSSIBLY_UNUSED __attribute__((unused))
-
-#ifdef __STRICT_ANSI__
-#define INLINE
-#else
-#define INLINE inline
-#endif
-
-#define UINT64_RSHIFT(v, shiftby) (((uint64_t)(v)) >> (shiftby))
-#define UINT64_MULT32(v, multby)  (((uint64_t)(v)) * ((uint32_t)(multby)))
-
-#ifndef UINT32_MAX
-#define UINT32_MAX (UINT32_C(0xffffffffU))
-#endif
-
-#ifndef UINT64_MAX
-#define UINT64_MAX (UINT64_C(0xffffffffffffffffULL))
-#endif
-
-/* This workaround applies to Kaen prototypes and is not expected to be needed
- * in the final products.  See crosbug.com/15759.
- */
-#define TEGRA_SOFT_REBOOT_WORKAROUND
-
-#endif /*__ARCH_ARM_BIOSINCLUDES_H__ */
diff --git a/firmware/arch/x86/include/biosincludes.h b/firmware/arch/x86/include/biosincludes.h
deleted file mode 100644
index 5f6b1cc2..00000000
--- a/firmware/arch/x86/include/biosincludes.h
+++ /dev/null
@@ -1,46 +0,0 @@
-/* Copyright (c) 2011 The Chromium OS Authors. All rights reserved.
- * Use of this source code is governed by a BSD-style license that can be
- * found in the LICENSE file.
- *
- * X86 firmware platform-specific definitions
- */
-
-#ifndef __ARCH_X86_BIOSINCLUDES_H__
-#define __ARCH_X86_BIOSINCLUDES_H__
-
-typedef unsigned char uint8_t;
-typedef unsigned short int uint16_t;
-typedef unsigned int uint32_t;
-typedef unsigned long long uint64_t;
-typedef signed long long int64_t;
-typedef unsigned int size_t;
-
-#ifndef NULL
-#define NULL ((void*) 0)
-#endif
-
-#define UINT32_C(x) ((uint32_t) x)
-#define UINT64_C(x) ((uint64_t) x)
-#define PRIu64 "llu"
-extern void debug(const char *format, ...);
-
-#define POSSIBLY_UNUSED __attribute__((unused))
-
-#ifdef __STRICT_ANSI__
-#define INLINE
-#else
-#define INLINE inline
-#endif
-
-#define UINT64_RSHIFT(v, shiftby) (((uint64_t)(v)) >> (shiftby))
-#define UINT64_MULT32(v, multby)  (((uint64_t)(v)) * ((uint32_t)(multby)))
-
-#ifndef UINT32_MAX
-#define UINT32_MAX (UINT32_C(0xffffffffU))
-#endif
-
-#ifndef UINT64_MAX
-#define UINT64_MAX (UINT64_C(0xffffffffffffffffULL))
-#endif
-
-#endif /*__ARCH_X86_BIOSINCLUDES_H__ */
diff --git a/firmware/arch/x86_64/include/biosincludes.h b/firmware/arch/x86_64/include/biosincludes.h
deleted file mode 100644
index 59bf931c..00000000
--- a/firmware/arch/x86_64/include/biosincludes.h
+++ /dev/null
@@ -1,46 +0,0 @@
-/* Copyright (c) 2011 The Chromium OS Authors. All rights reserved.
- * Use of this source code is governed by a BSD-style license that can be
- * found in the LICENSE file.
- *
- * X86 firmware platform-specific definitions
- */
-
-#ifndef __ARCH_X86_BIOSINCLUDES_H__
-#define __ARCH_X86_BIOSINCLUDES_H__
-
-typedef unsigned char uint8_t;
-typedef unsigned short int uint16_t;
-typedef unsigned int uint32_t;
-typedef unsigned long long uint64_t;
-typedef signed long long int64_t;
-typedef unsigned long size_t;
-
-#ifndef NULL
-#define NULL ((void*) 0)
-#endif
-
-#define UINT32_C(x) ((uint32_t) x)
-#define UINT64_C(x) ((uint64_t) x)
-#define PRIu64 "llu"
-extern void debug(const char *format, ...);
-
-#define POSSIBLY_UNUSED __attribute__((unused))
-
-#ifdef __STRICT_ANSI__
-#define INLINE
-#else
-#define INLINE inline
-#endif
-
-#define UINT64_RSHIFT(v, shiftby) (((uint64_t)(v)) >> (shiftby))
-#define UINT64_MULT32(v, multby)  (((uint64_t)(v)) * ((uint32_t)(multby)))
-
-#ifndef UINT32_MAX
-#define UINT32_MAX (UINT32_C(0xffffffffU))
-#endif
-
-#ifndef UINT64_MAX
-#define UINT64_MAX (UINT64_C(0xffffffffffffffffULL))
-#endif
-
-#endif /*__ARCH_X86_BIOSINCLUDES_H__ */
diff --git a/firmware/stub/include/biosincludes.h b/firmware/stub/include/biosincludes.h
deleted file mode 100644
index 817edfd0..00000000
--- a/firmware/stub/include/biosincludes.h
+++ /dev/null
@@ -1,42 +0,0 @@
-/* Copyright (c) 2010 The Chromium OS Authors. All rights reserved.
- * Use of this source code is governed by a BSD-style license that can be
- * found in the LICENSE file.
- */
-#ifndef CHROMEOS_SRC_PLATFORM_VBOOT_REFERENCE_FIRMWARE_STUB_BIOSINCLUDES_H_
-#define CHROMEOS_SRC_PLATFORM_VBOOT_REFERENCE_FIRMWARE_STUB_BIOSINCLUDES_H_
-
-/*
- * This file is a placeholder for the includes supplied by the BIOS
- * compilation environment. This file is included if and only if
- * CHROMEOS_ENVIRONMENT is not defined at compilation time.
- */
-
-#ifdef TARGET_TEST_MODE
-
-typedef unsigned long long uint64_t;
-typedef long long int64_t;
-typedef unsigned int uint32_t;
-typedef unsigned short uint16_t;
-typedef unsigned char uint8_t;
-typedef unsigned size_t;
-
-#ifndef NULL
-#define NULL ((void*) 0)
-#endif
-
-#define UINT32_C(x) ((uint32_t)x)
-#define UINT64_C(x) ((uint64_t)x)
-#define __attribute__(x)
-#define PRIu64 "llu"
-extern void debug(const char *format, ...);
-
-#define POSSIBLY_UNUSED
-#define INLINE
-
-#else
-
-#warning "No FIRMARE_ARCH defined and not TARGET_TEST_MODE"
-
-#endif
-
-#endif /*CHROMEOS_SRC_PLATFORM_VBOOT_REFERENCE_FIRMWARE_STUB_BIOSINCLUDES_H_*/