9c4ac31cca
Minor cleanup the coding style: #include <DxeMain.h> should be changed to #include "DxeMain.h" since "DxeMain.h" is not pubic header fie. git-svn-id: https://edk2.svn.sourceforge.net/svnroot/edk2/trunk/edk2@5742 6f19259b-4bc3-4df7-8a09-765794883524
42 lines
1.2 KiB
C
42 lines
1.2 KiB
C
/** @file
|
|
Event data is declared in this file.
|
|
|
|
Copyright (c) 2006 - 2008, Intel Corporation. <BR>
|
|
All rights reserved. This program and the accompanying materials
|
|
are licensed and made available under the terms and conditions of the BSD License
|
|
which accompanies this distribution. The full text of the license may be found at
|
|
http://opensource.org/licenses/bsd-license.php
|
|
|
|
THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
|
|
WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
|
|
|
|
**/
|
|
|
|
#include "DxeMain.h"
|
|
|
|
|
|
//
|
|
// gTpl - Task priority level
|
|
//
|
|
EFI_TPL gEfiCurrentTpl = TPL_APPLICATION;
|
|
|
|
|
|
//
|
|
// gEventQueueLock - Protects the event queus
|
|
//
|
|
EFI_LOCK gEventQueueLock = EFI_INITIALIZE_LOCK_VARIABLE (TPL_HIGH_LEVEL);
|
|
|
|
//
|
|
// gEventQueue - A list of event's to notify for each priority level
|
|
// gEventPending - A bitmask of the EventQueues that are pending
|
|
//
|
|
LIST_ENTRY gEventQueue[TPL_HIGH_LEVEL + 1];
|
|
UINTN gEventPending = 0;
|
|
|
|
|
|
//
|
|
// gEventSignalQueue - A list of events to signal based on EventGroup type
|
|
//
|
|
LIST_ENTRY gEventSignalQueue = INITIALIZE_LIST_HEAD_VARIABLE (gEventSignalQueue);
|
|
|