-
Watson Zeng authored
if USERSPACE is configured, it needs to record the user/kernel mode of interrupted thread, because the switch of aux_sec_k_sp/aux_user_sp depends on the aux_irq_act's U bit. Signed-off-by: Watson Zeng <zhiwei@synopsys.com>
ffd8a91f