1#include "cpuport.h"
2
3	.globl rt_hw_do_after_save_above
4	.type rt_hw_do_after_save_above,@function
5rt_hw_do_after_save_above:
6	addi  sp, sp,  -4
7    STORE ra,  0 * REGBYTES(sp)
8
9    csrr  a0, mcause
10    csrr  a1, mepc
11    mv    a2, sp
12    call  rt_rv32_system_irq_handler
13
14    LOAD  ra,  0 * REGBYTES(sp)
15    addi  sp, sp,  4
16    ret
17