Searched defs:ppc_boot_device (Results 1 – 2 of 2) sorted by relevance
106 uint16_t ppc_boot_device; in ppc_heathrow_init() local
140 int i, j, k, ppc_boot_device, machine_arch, bios_size = -1; in ppc_core99_init() local