| /branches/dynload/kernel/arch/mips32/include/types.h |
|---|
| 35,10 → 35,6 |
| #ifndef KERN_mips32_TYPES_H_ |
| #define KERN_mips32_TYPES_H_ |
| #define NULL 0 |
| #define false 0 |
| #define true 1 |
| typedef signed char int8_t; |
| typedef signed short int16_t; |
| typedef signed long int32_t; |
| 61,14 → 57,6 |
| typedef uint32_t unative_t; |
| typedef int32_t native_t; |
| typedef uint8_t bool; |
| typedef uint64_t thread_id_t; |
| typedef uint64_t task_id_t; |
| typedef uint32_t context_id_t; |
| typedef int32_t inr_t; |
| typedef int32_t devno_t; |
| /** Page Table Entry. */ |
| typedef struct { |
| unsigned g : 1; /**< Global bit. */ |
| /branches/dynload/kernel/arch/mips32/src/exception.c |
|---|
| 161,7 → 161,7 |
| * Spurious interrupt. |
| */ |
| #ifdef CONFIG_DEBUG |
| printf("cpu%d: spurious interrupt (inum=%d)\n", CPU->id, i); |
| printf("cpu%u: spurious interrupt (inum=%d)\n", CPU->id, i); |
| #endif |
| } |
| } |
| /branches/dynload/kernel/arch/mips32/src/debugger.c |
|---|
| 152,7 → 152,7 |
| spinlock_lock(&bkpoint_lock); |
| /* Check, that the breakpoints do not conflict */ |
| for (i=0; i<BKPOINTS_MAX; i++) { |
| for (i = 0; i < BKPOINTS_MAX; i++) { |
| if (breakpoints[i].address == (uintptr_t)argv->intval) { |
| printf("Duplicate breakpoint %d.\n", i); |
| spinlock_unlock(&bkpoints_lock); |
| 314,7 → 314,7 |
| } |
| /* Reinst only breakpoint */ |
| if ((breakpoints[i].flags & BKPOINT_REINST) \ |
| && (fireaddr ==breakpoints[i].address+sizeof(unative_t))) { |
| && (fireaddr == breakpoints[i].address + sizeof(unative_t))) { |
| cur = &breakpoints[i]; |
| break; |
| } |