Не работает аппаратный таймер на PLC2129 при Keil OS Опции

[Д_М]

Здравствуйте!
Не выполняется обработчик прерывания Таймера1. Таймер0 используется ОС (по умолчанию).

#define pcon_PCTIM0 (1<< 1)
#define pcon_PCTIM1 (1<< 2)
#define Int_bit_TIMER0 4
#define Int_bit_TIMER1 5

PCONP |= pcon_PCTIM1; // Power up Timer1
T1PR = 0x00000000; //Load prescaler
T1TCR = 0x00000002; //Reset counter and prescaler
T1MCR = 0x00000003; //On match reset the counter and generate an interrupt
T1MR0 = 400000; //Set the cycle time
T1TCR = 0x00000001; //enable timer
VICVectAddr5 = (unsigned)TIMER1VectoredIRQ;
VICVectCntl5 = 0x00000000; //Set channel
VICIntEnable = (1<< Int_bit_TIMER1);

void TIMER1VectoredIRQ (void) __irq
{
LEDS_ON = LED_B;

T1IR |= 0x00000001; //Clear match 0 interrupt
VICVectAddr = 0;// Dummy write to signal end of interrupt
}

Как мне кажется, ничего не упустил. По крайней мере на LPC2394 такое работает.
Заранее благодарен за помощь!

[Д_М]

Спасибо за отклик!
Таймер ОС пересаживается на другой аппаратный таймер путём добавления в программу #define OS_TIMER 1. Причина того, что не работал Таймер 0 была в настройке регистра управления прерыванием. Сделал, как в примере
VICVectCntl0 = 0x20 | 4; //Set channel
Заработало. Кто бы растолковал смысл этого числа!

[Сергей Борщ]

Кто бы растолковал смысл этого числа!

Какая именно фраза из документации непонятна?

[Д_М]

Какая именно фраза из документации непонятна?

VICVectCntl0 = 0x20 | 4
Что означает число 0x20 | 4?