static void __init register_loader(void) { xc_dom_register_loader(&bzimage_loader); }
static void __init register_loader(void) { xc_dom_register_loader(&elf_loader); }
static void __init register_loader(void) { xc_dom_register_loader(&zimage32_loader); xc_dom_register_loader(&zimage64_loader); }