Lines Matching refs:kernel_jump
428 * kernel_jump(), handover_jump(),433 extern void kernel_jump(EFI_PHYSICAL_ADDRESS kernel_start,1165 kernel_jump(kernel_start, bp);
