Searched refs:num_dev (Results 1 – 2 of 2) sorted by relevance
250 u32 num_dev; in bios_run_on_x86() local252 num_dev = PCI_BUS(pcidev) << 8 | PCI_DEV(pcidev) << 3 | in bios_run_on_x86()270 debug("Calling Option ROM at %lx, pci device %#x...", addr, num_dev); in bios_run_on_x86()273 realmode_call(addr + 0x0003, num_dev, 0xffff, 0x0000, 0xffff, 0x0, in bios_run_on_x86()
116 for (int num_dev : dev_per_task) total_num_devices += num_dev; in InitializeCollectiveParams() local