XC167 Interrupt Routine for EX1IN

Hello,
I have an interrupt routine for EX1IN to the following written,
but does not work. What mistakes?

void EX1IN(void) interrupt 0x19
{
   printf("Interrupt from EX1IN\n");
}


void main(void)
{
   EXICON |= 0x000C;
   CC1_CC9IC |= 0x00C0;
   DP2 &= 0xFDFF;
}