activate_r
dispatch
dev_vector
exc_vector
device_dispatcher
interrupt_dispatcher
task_context
expEntry
nmiEntry
ivTMREntry
ivHWEntry
ivg7Entry
ivg8Entry
ivg9Entry
ivg10Entry
ivg11Entry
ivg12Entry
ivg13Entry
ivg14Entry
enable_boot_for_gdb