.. | .. |
---|
| 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)); |
---|