428                 return xpool_print(L"Menu timeout set to %u s.", *t);  in update_timeout_efivar()
744                         status = xpool_print(L"Boot in %u s.", timeout_remain);  in menu_run()
923                         status = xpool_print(  in menu_run()
947                                 status = xpool_print(L"Error changing console mode: %r", err);  in menu_run()
950 …                status = xpool_print(L"Console mode changed to %ld.", config->console_mode_efivar);  in menu_run()
960                                 status = xpool_print(L"Error resetting console mode: %r", err);  in menu_run()
962                                 status = xpool_print(L"Console mode reset to %s default.",  in menu_run()
976 …                           status = xpool_print(L"Press Enter to reboot into firmware interface.");  in menu_run()
978 …                            status = xpool_print(L"Reboot into firmware interface not supported.");  in menu_run()
1370 …entry->next_name = xpool_print(L"%s+%" PRIuN L"-%" PRIuN L"%s", prefix, next_left, next_done, suff…  in config_entry_parse_tries()
1389         old_path = xpool_print(L"%s\\%s", entry->path, entry->current_name);  in config_entry_bump_counters()
1412         new_path = xpool_print(L"%s\\%s", entry->path, entry->next_name);  in config_entry_bump_counters()
1519                                 s = xpool_print(L"%s initrd=%s", initrd, new);  in config_entry_add_from_file()
1523                                 initrd = xpool_print(L"initrd=%s", new);  in config_entry_add_from_file()
1535                                 s = xpool_print(L"%s %s", entry->options, new);  in config_entry_add_from_file()
1559                         s = xpool_print(L"%s %s", initrd, entry->options);  in config_entry_add_from_file()
1829 …          config->entries[i]->title_show = xpool_print(L"%s (%s)", t, config->entries[i]->version);  in config_title_generate()
1846                 config->entries[i]->title_show = xpool_print(  in config_title_generate()
1862                 config->entries[i]->title_show = xpool_print(L"%s (%s)", t, config->entries[i]->id);  in config_title_generate()
2269                 path = xpool_print(L"\\EFI\\Linux\\%s", f->FileName);  in config_entry_add_linux()
2469 …infostr = xpool_print(L"%s %u.%02u", ST->FirmwareVendor, ST->FirmwareRevision >> 16, ST->FirmwareR…  in export_variables()
2472         typestr = xpool_print(L"UEFI %u.%02u", ST->Hdr.Revision >> 16, ST->Hdr.Revision & 0xffff);  in export_variables()