//Dependencies
#include "isr_support.h"

   .global ext4IrqWrapper
   .extern lan8740IrqHandler
   .extern xISRStackTop

   .set nomips16
   .set noreorder
   .set noat

   .ent ext4IrqWrapper

//External 4 interrupt
ext4IrqWrapper:
   //Save the current task context
   portSAVE_CONTEXT
   //Call interrupt handler
   jal lan8740IrqHandler
   nop
   //Restore the context of the next task to execute
   portRESTORE_CONTEXT

   .end ext4IrqWrapper
