TianoCore EDK2 master
Loading...
Searching...
No Matches
TdxMailboxNull.c
Go to the documentation of this file.
1
10#include <Library/DebugLib.h>
12
18UINT32
19EFIAPI
21 VOID
22 )
23{
24 ASSERT (FALSE);
25 return 0;
26}
27
31volatile VOID *
32EFIAPI
34 VOID
35 )
36{
37 ASSERT (FALSE);
38 return (volatile VOID *)NULL;
39}
40
49VOID
50EFIAPI
52 IN UINT16 Command,
53 IN UINT64 WakeupVector,
54 IN UINT64 WakeupArgs1,
55 IN UINT64 WakeupArgs2,
56 IN UINT64 WakeupArgs3,
57 IN UINT64 WakeupArgs4
58 )
59{
60 ASSERT (FALSE);
61}
62
66VOID
67EFIAPI
69 VOID
70 )
71{
72 ASSERT (FALSE);
73}
74
78VOID
79EFIAPI
81 VOID
82 )
83{
84 ASSERT (FALSE);
85}
#define NULL
Definition: Base.h:319
#define FALSE
Definition: Base.h:307
#define IN
Definition: Base.h:279
VOID EFIAPI MpSerializeStart(VOID)
volatile VOID *EFIAPI GetTdxMailBox(VOID)
VOID EFIAPI MpSendWakeupCommand(IN UINT16 Command, IN UINT64 WakeupVector, IN UINT64 WakeupArgs1, IN UINT64 WakeupArgs2, IN UINT64 WakeupArgs3, IN UINT64 WakeupArgs4)
VOID EFIAPI MpSerializeEnd(VOID)
UINT32 EFIAPI GetCpusNum(VOID)