| 33,7 → 33,6 |
|---|
| * @brief ARM32 architecture specific functions. |
| */ |
| |
| |
| #include <arch.h> |
| #include <arch/boot.h> |
| #include <config.h> |
| 53,7 → 52,6 |
|---|
| /** Information about loaded tasks. */ |
| bootinfo_t bootinfo; |
| |
| |
| /** Performs arm32 specific initialization before main_bsp() is called. */ |
| void arch_pre_main(void) |
| { |
| 68,7 → 66,6 |
|---|
| |
| } |
| |
| |
| /** Performs arm32 specific initialization before mm is initialized. */ |
| void arch_pre_mm_init(void) |
| { |
| 76,13 → 73,12 |
|---|
| interrupts_disable(); |
| } |
| |
| |
| /** Performs arm32 specific initialization afterr mm is initialized. */ |
| void arch_post_mm_init(void) |
| { |
| machine_hw_map_init(); |
| |
| /* Initialize dispatch table */ |
| /* Initialize exception dispatch table */ |
| exception_init(); |
| |
| interrupt_init(); |
| 94,7 → 90,6 |
|---|
| #endif |
| } |
| |
| |
| /** Performs arm32 specific tasks needed after cpu is initialized. |
| * |
| * Currently the function is empty. |
| 137,10 → 132,12 |
|---|
| */ |
| void before_thread_runs_arch(void) |
| { |
| supervisor_sp = (uintptr_t) &THREAD->kstack[THREAD_STACK_SIZE-SP_DELTA]; |
| uint8_t *stck; |
| |
| stck = &THREAD->kstack[THREAD_STACK_SIZE - SP_DELTA]; |
| supervisor_sp = (uintptr_t) stck; |
| } |
| |
| |
| /** Performs arm32 specific tasks before a thread stops running. |
| * |
| * Currently the function is empty. |
| 149,7 → 146,6 |
|---|
| { |
| } |
| |
| |
| /** Halts CPU. */ |
| void cpu_halt(void) |
| { |
| 158,17 → 154,3 |
|---|
| |
| /** @} |
| */ |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |