2 * linux/arch/alpha/kernel/err_marvel.c
4 * Copyright (C) 2001 Jeff Wiedemeier (Compaq Computer Corporation)
8 #include <linux/init.h>
10 #include <linux/sched.h>
13 #include <asm/console.h>
14 #include <asm/core_marvel.h>
15 #include <asm/hwrpb.h>
23 marvel_machine_check(u64 vector, u64 la_ptr, struct pt_regs *regs)
25 struct el_subpacket *el_ptr = (struct el_subpacket *)la_ptr;
33 el_process_subpacket(el_ptr);
37 printk(KERN_CRIT "MARVEL SYSEVENT %ld\n", vector);
41 printk(KERN_CRIT "MARVEL SYSMCHK/ERR %ld\n", vector);
44 /* Don't know it - pass it up. */
45 return ev7_machine_check(vector, la_ptr, regs);
48 /* Release the logout frame. */
54 marvel_register_error_handlers(void)
56 ev7_register_error_handlers();