/*++
|
|
Copyright (c) 2004, Intel Corporation. All rights reserved.
|
SPDX-License-Identifier: BSD-2-Clause-Patent
|
|
Module Name:
|
|
TianoApi.h
|
|
Abstract:
|
|
Tiano intrinsic definitions.
|
|
|
--*/
|
|
#ifndef _TIANO_API_H_
|
#define _TIANO_API_H_
|
|
//
|
// Pointer to internal runtime function
|
//
|
#define EFI_INTERNAL_FUNCTION 0x00000002
|
|
//
|
// Pointer to internal runtime pointer
|
//
|
#define EFI_INTERNAL_POINTER 0x00000004
|
|
//
|
// Pointer to internal runtime pointer
|
//
|
#define EFI_IPF_GP_POINTER 0x00000008
|
|
#define EFI_TPL_DRIVER 6
|
|
//
|
// EFI Event Types
|
//
|
#define EFI_EVENT_TIMER 0x80000000
|
#define EFI_EVENT_RUNTIME 0x40000000
|
#define EFI_EVENT_RUNTIME_CONTEXT 0x20000000
|
|
#define EFI_EVENT_NOTIFY_WAIT 0x00000100
|
#define EFI_EVENT_NOTIFY_SIGNAL 0x00000200
|
|
#define EFI_EVENT_SIGNAL_EXIT_BOOT_SERVICES 0x00000201
|
#define EFI_EVENT_SIGNAL_VIRTUAL_ADDRESS_CHANGE 0x60000202
|
|
#define EFI_EVENT_EFI_SIGNAL_MASK 0x000000FF
|
#define EFI_EVENT_EFI_SIGNAL_MAX 4
|
|
//
|
// Task priority level
|
//
|
#define EFI_TPL_APPLICATION 4
|
#define EFI_TPL_CALLBACK 8
|
#define EFI_TPL_NOTIFY 16
|
#define EFI_TPL_HIGH_LEVEL 31
|
|
#endif
|
