Interrupt Keil Style Vector Table

Hi,

MCBSTR7 User's Guide suggests below code to assign interrupt vector addresses. I wonder the second line. It makes first cast to u16 and then shift by 16 bits. I checked the code in debug, the compiler generates 32 bits shift even it requests u16 bit. Should it be casted to u32 instead of u16?

// Configure and enable IRQ for Timer 3
  EIC->IVR = (u32)T3TIMI_IRQHandler;                // setup IRQ vector
  EIC->SIR[T3TIMI_IRQChannel] = ((u16)T3TIMI_IRQHandler << 16);

MCBSTR7 User's Guide:
www.keil.com/.../mcbstr7_ex_keil_locate.htm

10x.