| #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(); | |
| } |