RTX and EINT3

Dear all,

I use Keil RTX and want to use the EINT3. I initialized the IRQ as followed:

  PINSEL1 |= (1<<9);
  PINSEL1 |= (1<<8);
  EXTMODE  |= (1<<3);
  EXTPOLAR &= ~(1<<3);
  VICVectAddr14 = (unsigned)UartISR;
  VICVectCntl14 |= (1 <<17);
  VICIntEnable = ( 1 << 17 );

Now the problem is that the system jumps to the

os_def_interrupt

in the RTX_Config.c and not to my UartISR-Funktion. Is this the normal way to handle interrupts with RTX? As I seen the Traffic Sample they do not use the os_def_interrupt. Is there any chance to jump directly to my UartISR?

Big Thanks for the help,

Christian