2 UEFI Event support functions and structure.
4 Copyright (c) 2006 - 2010, Intel Corporation. All rights reserved.<BR>
5 This program and the accompanying materials
6 are licensed and made available under the terms and conditions of the BSD License
7 which accompanies this distribution. The full text of the license may be found at
8 http://opensource.org/licenses/bsd-license.php
10 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
11 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
19 #define VALID_TPL(a) ((a) <= TPL_HIGH_LEVEL)
20 extern UINTN gEventPending
;
28 /// Timer event information
36 #define EVENT_SIGNATURE SIGNATURE_32('e','v','n','t')
42 /// Entry if the event is registered to be signalled
44 LIST_ENTRY SignalLink
;
46 /// Notification information for this event
49 EFI_EVENT_NOTIFY NotifyFunction
;
52 LIST_ENTRY NotifyLink
;
55 /// A list of all runtime events
57 EFI_RUNTIME_EVENT_ENTRY RuntimeData
;
58 TIMER_EVENT_INFO Timer
;
62 // Internal prototypes
67 Dispatches all pending events.
69 @param Priority The task priority level of event notifications
74 CoreDispatchEventNotifies (
80 Initializes timer support.