Searched refs:splash_time (Results 1 – 3 of 3) sorted by relevance
221 uint16_t splash_time = 0; in test_fw_cfg_splash_time() local228 &splash_time, sizeof(splash_time)); in test_fw_cfg_splash_time()229 g_assert_cmpint(filesize, ==, sizeof(splash_time)); in test_fw_cfg_splash_time()230 splash_time = le16_to_cpu(splash_time); in test_fw_cfg_splash_time()231 g_assert_cmpint(splash_time, ==, 12); in test_fw_cfg_splash_time()
307 unsigned long splash_time = 0; in s390_ipl_set_boot_menu() local341 splash_time = current_machine->boot_config.splash_time; in s390_ipl_set_boot_menu()343 if (splash_time > 0xffffffff) { in s390_ipl_set_boot_menu()349 ipl->qipl.boot_menu_timeout = cpu_to_be32(splash_time); in s390_ipl_set_boot_menu()
189 int64_t bst_val = current_machine->boot_config.splash_time; in fw_cfg_bootsplash()