[16] | 1 | /* |
---|
| 2 | * hal_interrupt.c - implementation of interrupt handler for TSAR-MIPS32 |
---|
| 3 | * |
---|
| 4 | * Author Alain Greiner (2016,2017) |
---|
| 5 | * |
---|
| 6 | * Copyright (c) UPMC Sorbonne Universites |
---|
| 7 | * |
---|
| 8 | * This file is part of ALMOS-MKH. |
---|
| 9 | * |
---|
| 10 | * ALMOS-MKH is free software; you can redistribute it and/or modify it |
---|
| 11 | * under the terms of the GNU General Public License as published by |
---|
| 12 | * the Free Software Foundation; version 2.0 of the License. |
---|
| 13 | * |
---|
| 14 | * ALMOS-MKH is distributed in the hope that it will be useful, but |
---|
| 15 | * WITHOUT ANY WARRANTY; without even the implied warranty of |
---|
| 16 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
---|
| 17 | * General Public License for more details. |
---|
| 18 | * |
---|
| 19 | * You should have received a copy of the GNU General Public License |
---|
| 20 | * along with ALMOS-MKH; if not, write to the Free Software Foundation, |
---|
| 21 | * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA |
---|
| 22 | */ |
---|
| 23 | |
---|
| 24 | #include <hal_types.h> |
---|
[279] | 25 | #include <hal_special.h> |
---|
[16] | 26 | #include <kernel_config.h> |
---|
| 27 | #include <thread.h> |
---|
[279] | 28 | #include <printk.h> |
---|
[16] | 29 | #include <do_interrupt.h> |
---|
| 30 | #include <hal_interrupt.h> |
---|
[238] | 31 | #include <soclib_pic.h> |
---|
[16] | 32 | |
---|
| 33 | /////////////////////////////////////// |
---|
| 34 | void hal_do_interrupt( thread_t * this, |
---|
| 35 | reg_t * regs_tbl ) |
---|
| 36 | { |
---|
[337] | 37 | irq_dmsg("\n[INFO] %s : enter / core[%x,%d] / cycle %d\n", |
---|
| 38 | __FUNCTION__ , local_cxy , this->core->lid , hal_time_stamp() ); |
---|
[279] | 39 | |
---|
[188] | 40 | // update user time |
---|
| 41 | thread_user_time_update( this ); |
---|
| 42 | |
---|
[238] | 43 | // access local ICU to call the relevant ISR |
---|
[188] | 44 | soclib_pic_irq_handler(); |
---|
| 45 | |
---|
| 46 | // update kernel time |
---|
| 47 | thread_kernel_time_update( this ); |
---|
[279] | 48 | |
---|
[337] | 49 | irq_dmsg("\n[INFO] %s : exit / core[%x,%d] / cycle %d\n", |
---|
| 50 | __FUNCTION__ , local_cxy , this->core->lid , hal_time_stamp() ); |
---|
[16] | 51 | } |
---|