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