EdkModulePkg/Core/Dxe/Event/execdata.c

   1 /*++
   2
   3 Copyright (c) 2006, Intel Corporation
   4 All rights reserved. This program and the accompanying materials
   5 are licensed and made available under the terms and conditions of the BSD License
   6 which accompanies this distribution.  The full text of the license may be found at
   7 http://opensource.org/licenses/bsd-license.php
   8
   9 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  10 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  11
  12 Module Name:
  13
  14   execdata.c
  15
  16 Abstract:
  17
  18
  19
  20
  21 Revision History
  22
  23 --*/
  24
  25 #include <DxeMain.h>
  26
  27
  28 //
  29 // gTpl - Task priority level
  30 //
  31 EFI_TPL  gEfiCurrentTpl = EFI_TPL_APPLICATION;
  32
  33
  34 //
  35 // gEventQueueLock - Protects the event queus
  36 //
  37 EFI_LOCK gEventQueueLock = EFI_INITIALIZE_LOCK_VARIABLE (EFI_TPL_HIGH_LEVEL);
  38
  39 //
  40 // gEventQueue - A list of event's to notify for each priority level
  41 // gEventPending - A bitmask of the EventQueues that are pending
  42 //
  43 LIST_ENTRY      gEventQueue[EFI_TPL_HIGH_LEVEL + 1];
  44 UINTN           gEventPending = 0;
  45
  46
  47 //
  48 // gEventSignalQueue - A list of events to signal based on EventGroup type
  49 //
  50 LIST_ENTRY      gEventSignalQueue = INITIALIZE_LIST_HEAD_VARIABLE (gEventSignalQueue);
  51