Intravision/reactos
1
0
Fork 0
mirror of https://github.com/reactos/reactos.git synced 2024-12-28 01:55:19 +00:00
Code Issues Projects Releases Packages Wiki Activity

[NTOS:KE] KiIdleLoop(): Propagate DECLSPEC_NORETURN to callers

Browse source
This commit is contained in:
Serge Gautherie 2020-09-09 03:46:56 +02:00 committed by Victor Perevertkin
parent 5f1d79f0c5
commit e0400e7810
7 changed files with 11 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
ntoskrnl/include/internal/amd64/ke.h
View file

@ -310,7 +310,7 @@ struct _KPCR;
//VOID KiInitializeTss(IN PKTSS Tss, IN UINT64 Stack);
VOID KiSwitchToBootStack(IN ULONG_PTR InitialStack);
DECLSPEC_NORETURN VOID KiSwitchToBootStack(IN ULONG_PTR InitialStack);
VOID KiDivideErrorFault(VOID);
VOID KiDebugTrapOrFault(VOID);
VOID KiNmiInterrupt(VOID);

5
ntoskrnl/include/internal/i386/ke.h
View file

@ -792,10 +792,11 @@ KiCheckForApcDelivery(IN PKTRAP_FRAME TrapFrame)
// Switches from boot loader to initial kernel stack
//
FORCEINLINE
DECLSPEC_NORETURN
VOID
KiSwitchToBootStack(IN ULONG_PTR InitialStack)
{
VOID NTAPI KiSystemStartupBootStack(VOID);
DECLSPEC_NORETURN VOID NTAPI KiSystemStartupBootStack(VOID);
/* We have to switch to a new stack before continuing kernel initialization */
#ifdef __GNUC__
@ -823,6 +824,8 @@ KiSwitchToBootStack(IN ULONG_PTR InitialStack)
#else
#error Unknown Compiler
#endif
UNREACHABLE;
}
//

1
ntoskrnl/include/internal/ke.h
View file

@ -740,6 +740,7 @@ VOID
NTAPI
KiInitializeBugCheck(VOID);
DECLSPEC_NORETURN
VOID
NTAPI
KiSystemStartup(

1
ntoskrnl/ke/amd64/kiinit.c
View file

@ -367,6 +367,7 @@ KiInitModuleList(IN PLOADER_PARAMETER_BLOCK LoaderBlock)
}
CODE_SEG("INIT")
DECLSPEC_NORETURN
VOID
NTAPI
KiSystemStartup(IN PLOADER_PARAMETER_BLOCK LoaderBlock)

1
ntoskrnl/ke/amd64/krnlinit.c
View file

@ -52,6 +52,7 @@ KiInitializeHandBuiltThread(
}
CODE_SEG("INIT")
DECLSPEC_NORETURN
VOID
NTAPI
KiSystemStartupBootStack(VOID)

1
ntoskrnl/ke/arm/kiinit.c
View file

@ -327,6 +327,7 @@ KiInitializeMachineType(VOID)
}
}
DECLSPEC_NORETURN
VOID
KiInitializeSystem(IN PLOADER_PARAMETER_BLOCK LoaderBlock)
{

2
ntoskrnl/ke/i386/kiinit.c
View file

@ -657,6 +657,7 @@ KiGetMachineBootPointers(IN PKGDTENTRY *Gdt,
}
CODE_SEG("INIT")
DECLSPEC_NORETURN
VOID
NTAPI
KiSystemStartupBootStack(VOID)
@ -709,6 +710,7 @@ KiMarkPageAsReadOnly(
}
CODE_SEG("INIT")
DECLSPEC_NORETURN
VOID
NTAPI
KiSystemStartup(IN PLOADER_PARAMETER_BLOCK LoaderBlock)