Searched refs:boot_pool (Results 1 – 1 of 1) sorted by relevance
401 be_append_menu(char *be_name, char *be_root_pool, char *boot_pool, in be_append_menu() argument427 if (boot_pool == NULL) in be_append_menu()428 boot_pool = be_root_pool; in be_append_menu()597 boot_pool) != BE_SUCCESS) { in be_append_menu()694 be_remove_menu(char *be_name, char *be_root_pool, char *boot_pool) in be_remove_menu() argument722 if (boot_pool == NULL) in be_remove_menu()723 boot_pool = be_root_pool; in be_remove_menu()1539 char *boot_pool) in be_update_menu() argument1561 if (boot_pool == NULL) in be_update_menu()1562 boot_pool = be_root_pool; in be_update_menu()