xen-driver.c

#include <asm/x86_init_fn.h>

#include <linux/pci.h>
#include <xen/xen.h>

static void early_xen_init_driver(void) {
	sleep(2);
}

X86_INIT_NORMAL_XEN(xen_driver, NULL, detect_pci,
		    early_xen_init_driver, NULL, NULL);