First versions
[people/lynusvaz/gpxe.git] / src / arch / i386 / prefix / select_pci.c
1 #include "pci.h"
2 #include "registers.h"
3
4 /*
5  * Register a device as the default PCI boot device.  This code is
6  * called by the PCI ROM prefix.
7  *
8  * Do not move this code to drivers/bus/pci.c, because it is
9  * i386-specific, and don't merge it with select_isapnp.c, because
10  * that would cause linker symbol pollution.
11  *
12  */
13 void i386_select_pci_device ( struct i386_all_regs *regs ) {
14         /*
15          * PCI BIOS passes busdevfn in %ax
16          *
17          */
18         select_pci_device ( regs->ax );
19 }