void __attribute__((nomips16))_general_exception_handler(void)
{
    /* Mask off ExcCode field from the Cause Register */
    /* Disable interrupts */
    /* Examine EPC and ExcCode */
    /* Provide a useful indication of the Exception as well as a recovery mechanism */
}