Changeset f4c2b6a in mainline for kernel/arch/ppc32

Timestamp:

2008-06-03T14:59:48Z (17 years ago)

Author:

Martin Decky <martin@…>

Branches:

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

Children:

2c4fb51

Parents:

b63f8569

Message:

reflect changes in generic code
proper formatting directives
coding style

Location:

kernel/arch/ppc32

Files:

• include/boot/boot.h (modified) (1 diff)
• include/drivers/cuda.h (modified) (1 diff)
• include/exception.h (modified) (2 diffs)
• include/mm/tlb.h (modified) (1 diff)
• src/interrupt.c (modified) (1 diff)
• src/mm/page.c (modified) (1 diff)

kernel/arch/ppc32/include/boot/boot.h

@@ -39 +39 @@
 
 /* Temporary stack size for boot process */
-#define TEMP_STACK_SIZE 0x100
+#define TEMP_STACK_SIZE 0x1000
 
 #define TASKMAP_MAX_RECORDS 32

kernel/arch/ppc32/include/drivers/cuda.h

@@ -37 +37 @@
 
 #include <arch/types.h>
+#include <typedefs.h>
 
 extern void cuda_init(devno_t devno, uintptr_t base, size_t size);

kernel/arch/ppc32/include/exception.h

@@ -83 +83 @@
         istate->pc = retaddr;
 }
+
 /** Return true if exception happened while in userspace */
 #include <panic.h>
@@ -90 +91 @@
         return 0;
 }
+
 static inline unative_t istate_get_pc(istate_t *istate)
 {

kernel/arch/ppc32/include/mm/tlb.h

@@ -37 +37 @@
 
 #include <arch/interrupt.h>
+#include <arch/types.h>
+#include <typedefs.h>
 
 typedef struct {

kernel/arch/ppc32/src/interrupt.c

@@ -81 +81 @@
                          */
 #ifdef CONFIG_DEBUG
-                        printf("cpu%d: spurious interrupt (inum=%d)\n", CPU->id, inum);
+                        printf("cpu%u: spurious interrupt (inum=%d)\n", CPU->id, inum);
 #endif
                 }

kernel/arch/ppc32/src/mm/page.c

@@ -49 +49 @@
 {
         if (last_frame + ALIGN_UP(size, PAGE_SIZE) > KA2PA(KERNEL_ADDRESS_SPACE_END_ARCH))
-                panic("Unable to map physical memory %p (%d bytes)", physaddr, size)
+                panic("Unable to map physical memory %p (%" PRIs " bytes)", physaddr, size)
         
         uintptr_t virtaddr = PA2KA(last_frame);