#include "../../x86_64/kernel/early_printk-xen.c"