1 2 3 4 5 6 7 8 9 10 11 12
#include "local.h" #include <linux/kexec.h> note_buf_t *crash_notes = NULL; void touch_nmi_watchdog(void) { WARN_UNIMPL; } unsigned long pci_mem_start = 0xABCDABCD;