Searched refs:ppc_boot_device (Results 1 – 2 of 2) sorted by relevance
107 uint16_t ppc_boot_device; in ppc_heathrow_init() local 185 ppc_boot_device = 'm'; in ppc_heathrow_init() 187 ppc_boot_device = '\0'; in ppc_heathrow_init() 197 ppc_boot_device = machine->boot_config.order[i]; in ppc_heathrow_init() 203 ppc_boot_device = machine->boot_config.order[i]; in ppc_heathrow_init() 208 if (ppc_boot_device == '\0') { in ppc_heathrow_init() 322 fw_cfg_add_i16(fw_cfg, FW_CFG_BOOT_DEVICE, ppc_boot_device); in ppc_heathrow_init()
141 int i, j, k, ppc_boot_device, machine_arch, bios_size = -1; in ppc_core99_init() local 228 ppc_boot_device = 'm'; in ppc_core99_init() 230 ppc_boot_device = '\0'; in ppc_core99_init() 237 ppc_boot_device = machine->boot_config.order[i]; in ppc_core99_init() 241 if (ppc_boot_device == '\0') { in ppc_core99_init() 481 fw_cfg_add_i16(fw_cfg, FW_CFG_BOOT_DEVICE, ppc_boot_device); in ppc_core99_init()