18 UINT32 TemporaryMemoryBase,
19 UINT32 PermenentMemoryBase
35 (VOID *)(
UINTN)PermanentMemoryBase,
36 (VOID *)(
UINTN)TemporaryMemoryBase,
45 SecSwitchStack ((UINT32)TemporaryMemoryBase, (UINT32)PermanentMemoryBase);
VOID *EFIAPI CopyMem(OUT VOID *DestinationBuffer, IN CONST VOID *SourceBuffer, IN UINTN Length)
UINT64 EFI_PHYSICAL_ADDRESS