| /branches/arm/kernel/arch/arm32/src/exception.c |
|---|
| 259,8 → 259,10 |
| */ |
| static void swi_exception(int exc_no, istate_t *istate) |
| { |
| /* |
| dprintf("SYSCALL: r0-r4: %x, %x, %x, %x, %x; pc: %x\n", istate->r0, |
| istate->r1, istate->r2, istate->r3, istate->r4, istate->pc); |
| */ |
| istate->r0 = syscall_handler( |
| istate->r0, |
| /branches/arm/kernel/arch/arm32/src/arm32.c |
|---|
| 87,6 → 87,10 |
| interrupt_init(); |
| console_init(device_assign_devno()); |
| //#ifdef CONFIG_FB |
| // fb_init(machine_get_fb_address(), 640, 480, 1920, VISUAL_RGB_8_8_8); |
| //#endif |
| } |
| /branches/arm/kernel/arch/arm32/src/mm/page_fault.c |
|---|
| 132,7 → 132,7 |
| * \param badvaddr Virtual address the instruction tries to access |
| * |
| * \return Type of access into memmory |
| * \note Returns #PF_ACESS_EXEC if no memory access is requested |
| * \note Returns #PF_ACCESS_EXEC if no memory access is requested |
| */ |
| static pf_access_t get_memory_access_type(uint32_t instr_addr, uintptr_t badvaddr) |
| { |
| /branches/arm/kernel/arch/arm32/src/interrupt.c |
|---|
| 73,6 → 73,11 |
| */ |
| void interrupts_restore(ipl_t ipl) |
| { |
| /* |
| current_status_reg_control_write( (current_status_reg_read() & |
| ~STATUS_REG_IRQ_DISABLED_BIT) | (ipl & STATUS_REG_IRQ_DISABLED_BIT) ); |
| */ |
| current_status_reg_control_write(current_status_reg_read() | |
| (ipl & STATUS_REG_IRQ_DISABLED_BIT)); |
| } |