diff options
-rw-r--r-- | UefiCpuPkg/SecCore/SecMain.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/UefiCpuPkg/SecCore/SecMain.c b/UefiCpuPkg/SecCore/SecMain.c index ec252cf719..5e5d543e19 100644 --- a/UefiCpuPkg/SecCore/SecMain.c +++ b/UefiCpuPkg/SecCore/SecMain.c @@ -49,6 +49,7 @@ UINT64 mIdtEntryTemplate = 0xffff8e000010ffe4ULL; **/
VOID
+NORETURN
EFIAPI
SecStartupPhase2(
IN VOID *Context
@@ -167,6 +168,7 @@ SecStartup ( **/
VOID
+NORETURN
EFIAPI
SecStartupPhase2(
IN VOID *Context
@@ -252,7 +254,7 @@ SecStartupPhase2( //
// Should not come here.
//
- return;
+ UNREACHABLE ();
}
/**
|