//Dependencies
#include "isr_support.h"

   .global ext3IrqWrapper
   .extern dp83848IrqHandler
   .extern xISRStackTop

   .set nomips16
   .set noreorder
   .set noat

   .ent ext3IrqWrapper

//External 3 interrupt
ext3IrqWrapper:
   //Save the current task context
   portSAVE_CONTEXT
   //Call interrupt handler
   jal dp83848IrqHandler
   nop
   //Restore the context of the next task to execute
   portRESTORE_CONTEXT

   .end ext3IrqWrapper
