VOID
FASTCALL
KiTimerListExpire(
  IN  PLIST_ENTRY ExpiredListHead,
  IN  KIRQL OldIrql
  );

Routine Description:

    This function is called to process a list of timers that have expired.

    N.B. This function is called with the dispatcher database locked and
        returns with the dispatcher database unlocked.

Arguments:

    ExpiredListHead - Supplies a pointer to a list of timers that have
        expired.

    OldIrql - Supplies the previous IRQL.

Return Value:

    None.