Searched refs:ppc_boot_device (Results 1 – 2 of 2) sorted by relevance
106 uint16_t ppc_boot_device; in ppc_heathrow_init() local196 ppc_boot_device = 'm'; in ppc_heathrow_init()198 ppc_boot_device = '\0'; in ppc_heathrow_init()208 ppc_boot_device = machine->boot_config.order[i]; in ppc_heathrow_init()214 ppc_boot_device = machine->boot_config.order[i]; in ppc_heathrow_init()219 if (ppc_boot_device == '\0') { in ppc_heathrow_init()333 fw_cfg_add_i16(fw_cfg, FW_CFG_BOOT_DEVICE, ppc_boot_device); in ppc_heathrow_init()
140 int i, j, k, ppc_boot_device, machine_arch, bios_size = -1; in ppc_core99_init() local238 ppc_boot_device = 'm'; in ppc_core99_init()240 ppc_boot_device = '\0'; in ppc_core99_init()247 ppc_boot_device = machine->boot_config.order[i]; in ppc_core99_init()251 if (ppc_boot_device == '\0') { in ppc_core99_init()491 fw_cfg_add_i16(fw_cfg, FW_CFG_BOOT_DEVICE, ppc_boot_device); in ppc_core99_init()