Quelle  nmi.c   Sprache: C

// SPDX-License-Identifier: GPL-2.0
/*
 * SDK7786 FPGA NMI Support.
 *
 * Copyright (C) 2010  Paul Mundt
 */
#include <linux/init.h>
#include <linux/kernel.h>
#include <linux/string.h>
#include <mach/fpga.h>

enum {
 NMI_MODE_MANUAL,
 NMI_MODE_AUX,
 NMI_MODE_MASKED,
 NMI_MODE_ANY,
 NMI_MODE_UNKNOWN,
};

/*
 * Default to the manual NMI switch.
 */
static unsigned int __initdata nmi_mode = NMI_MODE_ANY;

static int __init nmi_mode_setup(char *str)
{
 if (!str)
  return 0;

 if (strcmp(str, "manual") == 0)
  nmi_mode = NMI_MODE_MANUAL;
 else if (strcmp(str, "aux") == 0)
  nmi_mode = NMI_MODE_AUX;
 else if (strcmp(str, "masked") == 0)
  nmi_mode = NMI_MODE_MASKED;
 else if (strcmp(str, "any") == 0)
  nmi_mode = NMI_MODE_ANY;
 else {
  nmi_mode = NMI_MODE_UNKNOWN;
  pr_warn("Unknown NMI mode %s\n", str);
 }

 printk("Set NMI mode to %d\n", nmi_mode);
 return 0;
}
early_param("nmi_mode", nmi_mode_setup);

void __init sdk7786_nmi_init(void)
{
 unsigned int source, mask, tmp;

 switch (nmi_mode) {
 case NMI_MODE_MANUAL:
  source = NMISR_MAN_NMI;
  mask = NMIMR_MAN_NMIM;
  break;
 case NMI_MODE_AUX:
  source = NMISR_AUX_NMI;
  mask = NMIMR_AUX_NMIM;
  break;
 case NMI_MODE_ANY:
  source = NMISR_MAN_NMI | NMISR_AUX_NMI;
  mask = NMIMR_MAN_NMIM | NMIMR_AUX_NMIM;
  break;
 case NMI_MODE_MASKED:
 case NMI_MODE_UNKNOWN:
 default:
  source = mask = 0;
  break;
 }

 /* Set the NMI source */
 tmp = fpga_read_reg(NMISR);
 tmp &= ~NMISR_MASK;
 tmp |= source;
 fpga_write_reg(tmp, NMISR);

 /* And the IRQ masking */
 fpga_write_reg(NMIMR_MASK ^ mask, NMIMR);
}