#include "cpuport.h"

	.globl rt_hw_do_after_save_above
	.type rt_hw_do_after_save_above,@function
rt_hw_do_after_save_above:
	addi  sp, sp,  -4
    STORE ra,  0 * REGBYTES(sp)
    csrr  a0, mscratch
    call  trap_entry
    LOAD  ra,  0 * REGBYTES(sp)
    addi  sp, sp,  4
    ret