Searched refs:rt_val (Results 1 – 1 of 1) sorted by relevance
236 uint64_t rt_val = -1; in fw_cfg_reboot() local240 rt_val = current_machine->boot_config.reboot_timeout; in fw_cfg_reboot()243 if (rt_val > 0xffff && rt_val != (uint64_t)-1) { in fw_cfg_reboot()250 rt_le32 = cpu_to_le32(rt_val); in fw_cfg_reboot()