Lines Matching defs:boot_pool
601 * boot_pool - Used if the pool containing the grub menu is
616 be_append_menu(char *be_name, char *be_root_pool, char *boot_pool,
642 if (boot_pool == NULL)
643 boot_pool = be_root_pool;
812 boot_pool) != BE_SUCCESS) {
899 * boot_pool - the pool where the BE is, if different than
909 be_remove_menu(char *be_name, char *be_root_pool, char *boot_pool)
937 if (boot_pool == NULL)
938 boot_pool = be_root_pool;
1743 * boot_pool - the pool where the BE is, if different than
1754 char *boot_pool)
1776 if (boot_pool == NULL)
1777 boot_pool = be_root_pool;