VOID\r
EFIAPI\r
JumpToKernel (\r
- VOID *KernelStart,\r
- VOID *KernelBootParams\r
+ VOID *KernelStart,\r
+ VOID *KernelBootParams\r
);\r
\r
VOID\r
EFIAPI\r
JumpToUefiKernel (\r
- EFI_HANDLE ImageHandle,\r
- EFI_SYSTEM_TABLE *SystemTable,\r
- VOID *KernelBootParams,\r
- VOID *KernelStart\r
+ EFI_HANDLE ImageHandle,\r
+ EFI_SYSTEM_TABLE *SystemTable,\r
+ VOID *KernelBootParams,\r
+ VOID *KernelStart\r
);\r
\r
VOID\r
);\r
\r
#endif\r
-\r