| /trunk/kernel/arch/mips32/src/console.c |
|---|
| 66,4 → 66,3 |
| /** @} |
| */ |
| /trunk/kernel/arch/mips32/src/cache.c |
|---|
| 44,4 → 44,3 |
| /** @} |
| */ |
| /trunk/kernel/arch/mips32/src/mips32.c |
|---|
| 32,7 → 32,6 |
| /** @file |
| */ |
| #include <arch.h> |
| #include <arch/boot.h> |
| #include <arch/cp0.h> |
| 179,6 → 178,5 |
| return 0; |
| } |
| /** @} |
| */ |
| /trunk/kernel/arch/mips32/src/ddi/ddi.c |
|---|
| 57,4 → 57,3 |
| /** @} |
| */ |
| /trunk/kernel/arch/mips32/src/debugger.c |
|---|
| 385,4 → 385,3 |
| /** @} |
| */ |
| /trunk/kernel/arch/mips32/src/mm/as.c |
|---|
| 72,7 → 72,5 |
| interrupts_restore(ipl); |
| } |
| /** @} |
| */ |
| /trunk/kernel/arch/mips32/src/mm/page.c |
|---|
| 52,4 → 52,3 |
| /** @} |
| */ |
| /trunk/kernel/arch/mips32/src/interrupt.c |
|---|
| 143,4 → 143,3 |
| /** @} |
| */ |
| /trunk/kernel/arch/mips32/src/drivers/serial.c |
|---|
| 145,4 → 145,3 |
| /** @} |
| */ |
| /trunk/kernel/arch/mips32/src/drivers/arc.c |
|---|
| 407,7 → 407,5 |
| config.memory_size = total; |
| } |
| /** @} |
| */ |
| /trunk/kernel/arch/mips32/src/drivers/msim.c |
|---|
| 128,4 → 128,3 |
| /** @} |
| */ |