Searched refs:idx_default (Results 1 - 1 of 1) sorted by relevance

/systemd/src/boot/efi/
H A Dboot.c60 INTN idx_default; member in struct:__anon42
401 Print(L"entry selected idx: %d\n", config->idx_default);
510 idx_highlight = config->idx_default;
515 if ((UINTN)config->idx_default >= visible_max)
516 idx_first = config->idx_default-1;
1234 config->idx_default = i;
1259 config->idx_default = i;
1284 config->idx_default = i;
1295 config->idx_default = i;
1300 config->idx_default
[all...]

Completed in 44 milliseconds