Searched refs:be_new_name (Results 1 – 1 of 1) sorted by relevance
1535 be_update_menu(char *be_orig_name, char *be_new_name, char *be_root_pool, in be_update_menu() argument1604 be_make_root_ds(be_root_pool, be_new_name, be_new_root_ds, in be_update_menu()1712 be_new_name, desc); in be_update_menu()1716 "title %s\n", be_new_name); in be_update_menu()