#include <string.h>
#include <inttypes.h>
#include "pci.h"
+#include "intr.h"
#include "int86.h"
#include "asmops.h"
#include "panic.h"
void init_pci(void)
{
int i, count = 0;
+ int intrflag;
struct int86regs regs;
+ intrflag = get_intr_flag();
+
memset(®s, 0, sizeof regs);
regs.eax = 0xb101;
int86(0x1a, ®s);
+ /* restore interrupt state in case bios changed it */
+ set_intr_flag(intrflag);
+
/* PCI BIOS present if CF=0, AH=0, and EDX has the "PCI " sig FOURCC */
if((regs.flags & FLAGS_CARRY) || (regs.eax & 0xff00) || regs.edx != PCI_SIG) {
printf("No PCI BIOS present\n");
for(i=0; i<256; i++) {
count += enum_bus(i);
}
- printf("found %d PCI devices\n", count);
+ printf("found %d PCI devices\n\n", count);
}
static int enum_bus(int busid)
if(read_dev_info(&info, busid, dev, 0) == -1) {
return 0;
}
- print_dev_info(&info, busid, dev, 0);
+ /*print_dev_info(&info, busid, dev, 0);*/
count = 1;
if(read_dev_info(&info, busid, dev, i) == -1) {
continue;
}
- print_dev_info(&info, busid, dev, i);
+ /*print_dev_info(&info, busid, dev, i);*/
count++;
}
}