TianoCore EDK2 master
|
#include <PiPei.h>
#include <Library/BaseLib.h>
#include <Uefi/UefiSpec.h>
#include <Uefi/UefiBaseType.h>
Go to the source code of this file.
Data Structures | |
struct | MP_WAKEUP_MAILBOX |
struct | MP_RELOCATION_MAP |
Macros | |
#define | MP_CPU_PROTECTED_MODE_MAILBOX_APICID_INVALID 0xFFFFFFFF |
#define | MP_CPU_PROTECTED_MODE_MAILBOX_APICID_BROADCAST 0xFFFFFFFE |
Defines the defitions used by TDX in OvmfPkg.
Copyright (c) 2020 - 2021, Intel Corporation. All rights reserved.
SPDX-License-Identifier: BSD-2-Clause-Patent
Definition in file IntelTdx.h.
#define MP_CPU_PROTECTED_MODE_MAILBOX_APICID_BROADCAST 0xFFFFFFFE |
Definition at line 18 of file IntelTdx.h.
#define MP_CPU_PROTECTED_MODE_MAILBOX_APICID_INVALID 0xFFFFFFFF |
Definition at line 17 of file IntelTdx.h.
enum MP_CPU_PROTECTED_MODE_WAKEUP_CMD |
Definition at line 20 of file IntelTdx.h.