hc
2024-01-05 071106ecf68c401173c58808b1cf5f68cc50d390
kernel/arch/ia64/kernel/machine_kexec.c
....@@ -1,3 +1,4 @@
1
+// SPDX-License-Identifier: GPL-2.0-only
12 /*
23 * arch/ia64/kernel/machine_kexec.c
34 *
....@@ -5,9 +6,6 @@
56 * Copyright (C) 2005 Hewlett-Packard Development Comapny, L.P.
67 * Copyright (C) 2005 Khalid Aziz <khalid.aziz@hp.com>
78 * 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.
119 */
1210
1311 #include <linux/mm.h>
....@@ -129,7 +127,6 @@
129127 ia64_srlz_d();
130128 while (ia64_get_ivr() != IA64_SPURIOUS_INT_VECTOR)
131129 ia64_eoi();
132
- platform_kernel_launch_event();
133130 rnk = (relocate_new_kernel_t)&code_addr;
134131 (*rnk)(image->head, image->start, ia64_boot_param,
135132 GRANULEROUNDDOWN((unsigned long) pal_addr));