#include <stdio.h> | |
#include <stdbool.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_init_tables(); | |
x86_init_fn_early_init(); | |
x86_64_start_reservations(); | |
} |