path: root/libdde-linux26/lib/src/arch/l4/hw-helpers.c

#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;