void grub_loader_unset(void) { if (grub_loader_loaded && grub_loader_unload_func) grub_loader_unload_func (); grub_loader_boot_func = 0; grub_loader_unload_func = 0; grub_loader_loaded = 0; }
void grub_loader_set (grub_err_t (*boot) (void), grub_err_t (*unload) (void), int noreturn) { if (grub_loader_loaded && grub_loader_unload_func) grub_loader_unload_func (); grub_loader_boot_func = boot; grub_loader_unload_func = unload; grub_loader_noreturn = noreturn; grub_loader_loaded = 1; }
void grub_loader_set (grub_err_t (*boot) (void), grub_err_t (*unload) (void), int flags) { if (grub_loader_loaded && grub_loader_unload_func) grub_loader_unload_func (); grub_loader_boot_func = boot; grub_loader_unload_func = unload; grub_loader_flags = flags; grub_loader_loaded = 1; }