#include <linux/kernel_stat.h>
#include <linux/init.h>
#include <linux/errno.h>
#include <linux/hardirq.h>
#include <linux/time.h>
#include <linux/module.h>
#include <asm/lowcore.h>
#include <asm/smp.h>
#include <asm/etr.h>
#include <asm/cputime.h>
#include <asm/nmi.h>
#include <asm/crw.h>
Go to the source code of this file.
#define ED_ETR_SWITCH 13 /* External damage ETR switch to local */ |
#define ED_ETR_SYNC 12 /* External damage ETR sync check */ |
#define ED_STP_ISLAND 6 /* External damage STP island check */ |
#define MAX_IPD_TIME (5 * 60 * USEC_PER_SEC) /* 5 minutes */ |
arch_initcall |
( |
machine_check_init |
| ) |
|
Definition at line 44 of file nmi.c.