for (i = 0; i < config->n_boot_priorities; i++) {
prio = &config->boot_priorities[i];
if (priority_match(prio, opt))
for (i = 0; i < config->n_boot_priorities; i++) {
prio = &config->boot_priorities[i];
if (priority_match(prio, opt))
}
static void set_default(struct device_handler *handler,
struct discover_boot_option *opt)
{
}
static void set_default(struct device_handler *handler,
struct discover_boot_option *opt)
{
/* Resolve any conflicts: if we have a new default option, it only
* replaces the current if it has a higher priority. */
if (handler->default_boot_option) {
/* Resolve any conflicts: if we have a new default option, it only
* replaces the current if it has a higher priority. */
if (handler->default_boot_option) {
handler->default_boot_option = opt;
/* extend the timeout a little, so the user sees some
* indication of the change */
handler->default_boot_option = opt;
/* extend the timeout a little, so the user sees some
* indication of the change */