TianoCore EDK2 master
Loading...
Searching...
No Matches
SnpPageStateChange.h
Go to the documentation of this file.
1
11#ifndef SNP_PAGE_STATE_INTERNAL_H_
12#define SNP_PAGE_STATE_INTERNAL_H_
13
14//
15// SEV-SNP Page states
16//
17typedef enum {
18 SevSnpPagePrivate,
19 SevSnpPageShared,
20} SEV_SNP_PAGE_STATE;
21
22VOID
24 IN EFI_PHYSICAL_ADDRESS BaseAddress,
25 IN UINTN NumPages,
26 IN SEV_SNP_PAGE_STATE State,
27 IN BOOLEAN UseLargeEntry,
28 IN VOID *PscBuffer,
29 IN UINTN PscBufferSize
30 );
31
32VOID
33SnpPageStateFailureTerminate (
34 VOID
35 );
36
37#endif
UINT64 UINTN
#define IN
Definition: Base.h:279
VOID InternalSetPageState(IN EFI_PHYSICAL_ADDRESS BaseAddress, IN UINTN NumPages, IN SEV_SNP_PAGE_STATE State, IN BOOLEAN UseLargeEntry, IN VOID *PscBuffer, IN UINTN PscBufferSize)
UINT64 EFI_PHYSICAL_ADDRESS
Definition: UefiBaseType.h:50