1/*++
2
3Copyright (c) 2004, Intel Corporation
4All rights reserved. This program and the accompanying materials
5are licensed and made available under the terms and conditions of the BSD License
6which accompanies this distribution.  The full text of the license may be found at
7http://opensource.org/licenses/bsd-license.php
8
9THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
10WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
11
12Module Name:
13
14  TianoApi.h
15
16Abstract:
17
18  Tiano intrinsic definitions.
19
20
21--*/
22
23#ifndef _TIANO_API_H_
24#define _TIANO_API_H_
25
26//
27// Pointer to internal runtime function
28//
29#define EFI_INTERNAL_FUNCTION 0x00000002
30
31//
32// Pointer to internal runtime pointer
33//
34#define EFI_INTERNAL_POINTER  0x00000004
35
36//
37// Pointer to internal runtime pointer
38//
39#define EFI_IPF_GP_POINTER  0x00000008
40
41#define EFI_TPL_DRIVER      6
42
43//
44// EFI Event Types
45//
46#define EFI_EVENT_TIMER                         0x80000000
47#define EFI_EVENT_RUNTIME                       0x40000000
48#define EFI_EVENT_RUNTIME_CONTEXT               0x20000000
49
50#define EFI_EVENT_NOTIFY_WAIT                   0x00000100
51#define EFI_EVENT_NOTIFY_SIGNAL                 0x00000200
52
53#define EFI_EVENT_SIGNAL_EXIT_BOOT_SERVICES     0x00000201
54#define EFI_EVENT_SIGNAL_VIRTUAL_ADDRESS_CHANGE 0x60000202
55
56#define EFI_EVENT_EFI_SIGNAL_MASK               0x000000FF
57#define EFI_EVENT_EFI_SIGNAL_MAX                4
58
59//
60// Task priority level
61//
62#define EFI_TPL_APPLICATION 4
63#define EFI_TPL_CALLBACK    8
64#define EFI_TPL_NOTIFY      16
65#define EFI_TPL_HIGH_LEVEL  31
66
67#endif
68