--- /dev/null
+/*++\r
+\r
+Copyright (c) 2004, Intel Corporation\r
+All rights reserved. This program and the accompanying materials\r
+are licensed and made available under the terms and conditions of the BSD License\r
+which accompanies this distribution. The full text of the license may be found at\r
+http://opensource.org/licenses/bsd-license.php\r
+\r
+THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
+WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
+\r
+Module Name:\r
+\r
+ TianoApi.h\r
+\r
+Abstract:\r
+\r
+ Tiano intrinsic definitions.\r
+\r
+\r
+--*/\r
+\r
+#ifndef _TIANO_API_H_\r
+#define _TIANO_API_H_\r
+\r
+//\r
+// Pointer to internal runtime function\r
+//\r
+#define EFI_INTERNAL_FUNCTION 0x00000002\r
+\r
+//\r
+// Pointer to internal runtime pointer\r
+//\r
+#define EFI_INTERNAL_POINTER 0x00000004\r
+\r
+//\r
+// Pointer to internal runtime pointer\r
+//\r
+#define EFI_IPF_GP_POINTER 0x00000008\r
+\r
+#define EFI_TPL_DRIVER 6\r
+\r
+//\r
+// EFI Event Types\r
+//\r
+#define EFI_EVENT_TIMER 0x80000000\r
+#define EFI_EVENT_RUNTIME 0x40000000\r
+#define EFI_EVENT_RUNTIME_CONTEXT 0x20000000\r
+\r
+#define EFI_EVENT_NOTIFY_WAIT 0x00000100\r
+#define EFI_EVENT_NOTIFY_SIGNAL 0x00000200\r
+\r
+#define EFI_EVENT_SIGNAL_EXIT_BOOT_SERVICES 0x00000201\r
+#define EFI_EVENT_SIGNAL_VIRTUAL_ADDRESS_CHANGE 0x60000202\r
+\r
+#define EFI_EVENT_EFI_SIGNAL_MASK 0x000000FF\r
+#define EFI_EVENT_EFI_SIGNAL_MAX 4\r
+\r
+//\r
+// Task priority level\r
+//\r
+#define EFI_TPL_APPLICATION 4\r
+#define EFI_TPL_CALLBACK 8\r
+#define EFI_TPL_NOTIFY 16\r
+#define EFI_TPL_HIGH_LEVEL 31\r
+\r
+#endif\r