| .. | .. |
|---|
| 1 | +// SPDX-License-Identifier: GPL-2.0-only |
|---|
| 1 | 2 | /* |
|---|
| 2 | 3 | * arch/ia64/kernel/machine_kexec.c |
|---|
| 3 | 4 | * |
|---|
| .. | .. |
|---|
| 5 | 6 | * Copyright (C) 2005 Hewlett-Packard Development Comapny, L.P. |
|---|
| 6 | 7 | * Copyright (C) 2005 Khalid Aziz <khalid.aziz@hp.com> |
|---|
| 7 | 8 | * Copyright (C) 2006 Intel Corp, Zou Nan hai <nanhai.zou@intel.com> |
|---|
| 8 | | - * |
|---|
| 9 | | - * This source code is licensed under the GNU General Public License, |
|---|
| 10 | | - * Version 2. See the file COPYING for more details. |
|---|
| 11 | 9 | */ |
|---|
| 12 | 10 | |
|---|
| 13 | 11 | #include <linux/mm.h> |
|---|
| .. | .. |
|---|
| 129 | 127 | ia64_srlz_d(); |
|---|
| 130 | 128 | while (ia64_get_ivr() != IA64_SPURIOUS_INT_VECTOR) |
|---|
| 131 | 129 | ia64_eoi(); |
|---|
| 132 | | - platform_kernel_launch_event(); |
|---|
| 133 | 130 | rnk = (relocate_new_kernel_t)&code_addr; |
|---|
| 134 | 131 | (*rnk)(image->head, image->start, ia64_boot_param, |
|---|
| 135 | 132 | GRANULEROUNDDOWN((unsigned long) pal_addr)); |
|---|