| .. | .. |
|---|
| 1 | +// SPDX-License-Identifier: GPL-2.0 |
|---|
| 1 | 2 | /* |
|---|
| 2 | 3 | * SDK7786 FPGA NMI Support. |
|---|
| 3 | 4 | * |
|---|
| 4 | 5 | * Copyright (C) 2010 Paul Mundt |
|---|
| 5 | | - * |
|---|
| 6 | | - * This file is subject to the terms and conditions of the GNU General Public |
|---|
| 7 | | - * License. See the file "COPYING" in the main directory of this archive |
|---|
| 8 | | - * for more details. |
|---|
| 9 | 6 | */ |
|---|
| 10 | 7 | #include <linux/init.h> |
|---|
| 11 | 8 | #include <linux/kernel.h> |
|---|
| .. | .. |
|---|
| 40 | 37 | nmi_mode = NMI_MODE_ANY; |
|---|
| 41 | 38 | else { |
|---|
| 42 | 39 | nmi_mode = NMI_MODE_UNKNOWN; |
|---|
| 43 | | - pr_warning("Unknown NMI mode %s\n", str); |
|---|
| 40 | + pr_warn("Unknown NMI mode %s\n", str); |
|---|
| 44 | 41 | } |
|---|
| 45 | 42 | |
|---|
| 46 | 43 | printk("Set NMI mode to %d\n", nmi_mode); |
|---|