VOID
KeInitializeTimerEx(
  IN  PKTIMER Timer,
  IN  TIMER_TYPE Type
  );

Routine Description:

    This function initializes an extended kernel timer object.

Arguments:

    Timer - Supplies a pointer to a dispatcher object of type timer.

    Type - Supplies the type of timer object; NotificationTimer or
        SynchronizationTimer;

Return Value:

    None.