Searched refs:get_boot_device (Results 1 – 3 of 3) sorted by relevance
309 if (!get_boot_device(0)) { in s390_ipl_set_boot_menu()506 ipl->rebuilt_iplb = s390_build_iplb(get_boot_device(index), iplb); in s390_rebuild_iplb()514 DeviceState *dev_st = get_boot_device(0); in s390_init_all_iplbs()535 while (get_boot_device(iplb_num)) { in s390_init_all_iplbs()556 dev_st = get_boot_device(i); in s390_init_all_iplbs()
77 DeviceState *get_boot_device(uint32_t position);
190 DeviceState *get_boot_device(uint32_t position) in get_boot_device() function
Completed in 10 milliseconds