Searched refs:boot_pool (Results 1 – 1 of 1) sorted by relevance
398 be_append_menu(char *be_name, char *be_root_pool, char *boot_pool, in be_append_menu() argument424 if (boot_pool == NULL) in be_append_menu()425 boot_pool = be_root_pool; in be_append_menu()594 boot_pool) != BE_SUCCESS) { in be_append_menu()691 be_remove_menu(char *be_name, char *be_root_pool, char *boot_pool) in be_remove_menu() argument719 if (boot_pool == NULL) in be_remove_menu()720 boot_pool = be_root_pool; in be_remove_menu()1536 char *boot_pool) in be_update_menu() argument1558 if (boot_pool == NULL) in be_update_menu()1559 boot_pool = be_root_pool; in be_update_menu()