8  * your option) any later version. See the COPYING file in the top-level
16 #include "s390-ccw.h"
18 #include "s390-time.h"
61 static inline void set_clock_comparator(uint64_t time)  in set_clock_comparator()  argument
63     asm volatile("sckc %0" : : "Q" (time));  in set_clock_comparator()
79     uint64_t time;  in read_prompt()  local
82         time = get_clock() + timeout * TOD_CLOCK_MILLISECOND;  in read_prompt()
83         set_clock_comparator(time);  in read_prompt()
90         sclp_read(inp, 1); /* Process only one character at a time */  in read_prompt()
98                 buf[--idx] = 0;  in read_prompt()
130     len = read_prompt(buf, sizeof(buf) - 1);  in get_index()
142             return -1;  in get_index()
149 static void boot_menu_prompt(bool retry)  in boot_menu_prompt()  argument
151     if (retry) {  in boot_menu_prompt()
165     bool retry = false;  in get_boot_index()  local
168         boot_menu_prompt(retry);  in get_boot_index()
170         retry = true;  in get_boot_index()
198     uint16_t zipl_flag = *(uint16_t *)(menu_data - ZIPL_FLAG_OFFSET);  in menu_get_zipl_boot_index()
199     uint16_t zipl_timeout = *(uint16_t *)(menu_data - ZIPL_TIMEOUT_OFFSET);  in menu_get_zipl_boot_index()
210     puts("s390-ccw zIPL Boot Menu\n");  in menu_get_zipl_boot_index()
234     puts("s390-ccw Enumerated Boot Menu.\n");  in menu_get_enum_boot_index()