1 /*++ 2 3 Copyright (c) 2004, 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 TianoApi.h 15 16 Abstract: 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