Searched refs:LINUX_KERNEL64 (Results 1 – 1 of 1) sorted by relevance
56 typedef VOID (*LINUX_KERNEL64)(UINTN ParametersBase, UINTN Reserved0, typedef97 LINUX_KERNEL64 LinuxKernel = (LINUX_KERNEL64)LinuxImage; in StartLinux()113 LinuxKernel = (LINUX_KERNEL64)((UINTN)LinuxKernel + 64); in StartLinux()