#cpu_support.S
activate_r
ret_int
ret_exc
no_reg_exception

#cpu_config.c
task_intmask
int_intmask
intnest
BASE_VBR
cpu_experr
