Changeset 4872160 in mainline for boot/genarch/include/division.h

Timestamp:

2010-05-04T10:44:55Z (14 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

568db0f

Parents:

bb252ca

Message:

new boot infrastructure

• more code and metadata unification
• import of up-to-date implementations from the kernel
• the boot loaders should behave more similarly on all platforms
• support for deflate compressed (LZ77) boot components
  • this again allows feasible boot images to be created on mips32
• IA64 is still not booting
  • the broken forked GNU EFI library has been removed, a replacement of the functionality is on its way

File:

• boot/genarch/include/division.h (moved) (moved from boot/arch/arm32/loader/print/print.c ) (2 diffs)

boot/genarch/include/division.h

@@ -1 +1 @@
 /*
- * Copyright (c) 2007 Michal Kebrt
- * Copyright (c) 2009 Vineeth Pillai
+ * Copyright (c) 2006 Josef Cejka
  * All rights reserved.
  *
@@ -28 +27 @@
  */
 
+/** @file
+ */
 
-/** @addtogroup arm32boot
- * @{
- */
-/** @file
- *  @brief bootloader output logic
- */ 
+#ifndef BOOT_DIVISION_H_
+#define BOOT_DIVISION_H_
 
+/* 32bit integer division */
+extern int __divsi3(int, int);
 
-#include <printf.h>
+/* 64bit integer division */
+extern long long __divdi3(long long, long long);
 
+/* 32bit unsigned integer division */
+extern unsigned int __udivsi3(unsigned int, unsigned int);
 
-/** Address where characters to be printed are expected. */
-#ifdef MACHINE_testarm
-        #define PUTC_ADDRESS  0x10000000
+/* 64bit unsigned integer division */
+extern unsigned long long __udivdi3(unsigned long long, unsigned long long);
+
+/* 32bit remainder of the signed division */
+extern int __modsi3(int, int);
+
+/* 64bit remainder of the signed division */
+extern long long __moddi3(long long, long long);
+
+/* 32bit remainder of the unsigned division */
+extern unsigned int __umodsi3(unsigned int, unsigned int);
+
+/* 64bit remainder of the unsigned division */
+extern unsigned long long __umoddi3(unsigned long long, unsigned long long);
+
+extern unsigned long long __udivmoddi3(unsigned long long, unsigned long long,
+    unsigned long long *);
+
 #endif
-
-#ifdef MACHINE_integratorcp
-        #define PUTC_ADDRESS  0x16000000
-#endif
-
-
-
-/** Prints a character to the console.
- *
- * @param ch Character to be printed.
- */
-static void putc(char ch)
-{
-        if (ch == '\n')
-                *((volatile char *) PUTC_ADDRESS) = '\r';
-        *((volatile char *) PUTC_ADDRESS) = ch;
-}
-
-
-/** Prints a string to the console.
- *
- * @param str String to be printed.
- * @param len Number of characters to be printed.
- */
-void write(const char *str, const int len)
-{
-        int i;
-        for (i = 0; i < len; ++i) {
-                putc(str[i]);
-        }
-}
 
 /** @}
  */
-