diff options
| author | kib <kib@FreeBSD.org> | 2016-11-08 09:51:55 +0000 |
|---|---|---|
| committer | kib <kib@FreeBSD.org> | 2016-11-08 09:51:55 +0000 |
| commit | a3e133014e94cc2e557752605ad6f8b0e56d4690 (patch) | |
| tree | 13a9c112ab5cb66730c3889b1a5a4fd2534b094a /sys/x86/include/x86_var.h | |
| parent | 34220e95e22c15bfebb37450b79acbeb94374cc4 (diff) | |
| download | FreeBSD-src-a3e133014e94cc2e557752605ad6f8b0e56d4690.zip FreeBSD-src-a3e133014e94cc2e557752605ad6f8b0e56d4690.tar.gz | |
MFC r307866:
Handle broadcast NMIs.
MFC r307880:
Follow-up to r307866.
MFC r308030:
Use correct cpu id in the banner.
Diffstat (limited to 'sys/x86/include/x86_var.h')
| -rw-r--r-- | sys/x86/include/x86_var.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/sys/x86/include/x86_var.h b/sys/x86/include/x86_var.h index d04ab9b..12bc1e0 100644 --- a/sys/x86/include/x86_var.h +++ b/sys/x86/include/x86_var.h @@ -85,6 +85,7 @@ struct reg; struct fpreg; struct dbreg; struct dumperinfo; +struct trapframe; /* * The interface type of the interrupt handler entry point cannot be @@ -107,6 +108,9 @@ bool fix_cpuid(void); void fillw(int /*u_short*/ pat, void *base, size_t cnt); int is_physical_memory(vm_paddr_t addr); int isa_nmi(int cd); +void nmi_call_kdb(u_int cpu, u_int type, struct trapframe *frame); +void nmi_call_kdb_smp(u_int type, struct trapframe *frame); +void nmi_handle_intr(u_int type, struct trapframe *frame); void pagecopy(void *from, void *to); void printcpuinfo(void); int user_dbreg_trap(void); |
