/* Heart beat timer handler, queues the DPC at TPL_CALLBACK. */
VOID EFIAPI TcpTicking(IN EFI_EVENT Event, IN VOID *Context)
/* Heart beat timer handler, queues the DPC at TPL_CALLBACK. */
VOID EFIAPI TcpTicking(IN EFI_EVENT Event, IN VOID *Context)
{
  QueueDpc (TPL_CALLBACK, TcpTickingDpc, Context);
}