Searched refs:boot_pool (Results 1 – 1 of 1) sorted by relevance
679 be_append_menu(char *be_name, char *be_root_pool, char *boot_pool, in be_append_menu() argument705 if (boot_pool == NULL) in be_append_menu()706 boot_pool = be_root_pool; in be_append_menu()880 boot_pool) != BE_SUCCESS) { in be_append_menu()977 be_remove_menu(char *be_name, char *be_root_pool, char *boot_pool) in be_remove_menu() argument1005 if (boot_pool == NULL) in be_remove_menu()1006 boot_pool = be_root_pool; in be_remove_menu()1832 char *boot_pool) in be_update_menu() argument1854 if (boot_pool == NULL) in be_update_menu()1855 boot_pool = be_root_pool; in be_update_menu()