xen.c


1
2
3
4
5
6
7
8
9
10
11
12
13

#include <linux/kernel.h>
#include <linux/tables.h>
#include <asm/x86_init_fn.h>
#include <asm/x86.h>

void startup_xen(void)
{
	pr_info("Initializing Xen guest\n");

	x86_init_fn_early_init();

	x86_64_start_reservations();
}