isr_t
Represents an ISR.
typedef void(* isr_t) (void);
BEA_KERNEL_STACK_TOP
##define BEA_KERNEL_STACK_TOP 0x20030000