DDE - The L4 Device Driver Environment: hw-helpers.c Source File

00001 #include "local.h"
00002 
00003 #include <linux/kexec.h>
00004 
00005 note_buf_t *crash_notes = NULL;
00006 
00007 void touch_nmi_watchdog(void)
00008 {
00009         WARN_UNIMPL;
00010 }
00011 
00012 unsigned long pci_mem_start = 0xABCDABCD;