Type Alias KernelEntryFn 

pub type KernelEntryFn = extern "win64" fn(*const KernelBootInfo) -> !;

Kernel function pointer.

ABI

The ABI is defined as win64 since the kernel is called from a UEFI (PE/COFF) application.