TianoCore EDK2 master
Loading...
Searching...
No Matches
TdxMailboxLib.h
Go to the documentation of this file.
1
9#ifndef TDX_MAILBOX_LIB_H_
10#define TDX_MAILBOX_LIB_H_
11
12#include <Library/BaseLib.h>
13#include <Uefi/UefiBaseType.h>
14#include <Uefi/UefiSpec.h>
15#include <Pi/PiPeiCis.h>
16#include <Library/DebugLib.h>
17#include <Protocol/DebugSupport.h>
18
24UINT32
25EFIAPI
26GetCpusNum (
27 VOID
28 );
29
33volatile VOID *
34EFIAPI
35GetTdxMailBox (
36 VOID
37 );
38
47VOID
48EFIAPI
49MpSendWakeupCommand (
50 IN UINT16 Command,
51 IN UINT64 WakeupVector,
52 IN UINT64 WakeupArgs1,
53 IN UINT64 WakeupArgs2,
54 IN UINT64 WakeupArgs3,
55 IN UINT64 WakeupArgs4
56 );
57
61VOID
62EFIAPI
63MpSerializeStart (
64 VOID
65 );
66
70VOID
71EFIAPI
72MpSerializeEnd (
73 VOID
74 );
75
76#endif
IN
#define IN
Definition: Base.h:279
MpSerializeStart
VOID EFIAPI MpSerializeStart(VOID)
Definition: TdxMailbox.c:98
GetTdxMailBox
volatile VOID *EFIAPI GetTdxMailBox(VOID)
Definition: TdxMailbox.c:49
MpSendWakeupCommand
VOID EFIAPI MpSendWakeupCommand(IN UINT16 Command, IN UINT64 WakeupVector, IN UINT64 WakeupArgs1, IN UINT64 WakeupArgs2, IN UINT64 WakeupArgs3, IN UINT64 WakeupArgs4)
Definition: TdxMailbox.c:66
MpSerializeEnd
VOID EFIAPI MpSerializeEnd(VOID)
Definition: TdxMailbox.c:123
GetCpusNum
UINT32 EFIAPI GetCpusNum(VOID)
Definition: TdxMailbox.c:27