/* Parameters: irq irq number to be disabled (the irq number NOT the vector number)  */
void disable_irq(int irq)
/* Parameters: irq irq number to be disabled (the irq number NOT the vector number)  */
void disable_irq(int irq)
{
    int div;
    div = irq/32;
    switch (div)
    {
    	case 0x0:
               NVICICER0 = 1 << (irq%32);
              break;
    	case 0x1:
              NVICICER1 = 1 << (irq%32);
              break;
    	case 0x2:
              NVICICER2 = 1 << (irq%32);
              break;
    }              
}