Aren/toaruos
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Show more PCI info in debug shell

Browse Source
This commit is contained in:
K. Lange 2018-07-21 19:17:23 +09:00
parent cdee81699a
commit d0f57d10cb
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
modules/debug_sh.c
View File

@ -318,6 +318,10 @@ static void scan_hit_list(uint32_t device, uint16_t vendorid, uint16_t deviceid,
fprintf(tty, " BAR4: 0x%8x", pci_read_field(device, PCI_BAR4, 4)); fprintf(tty, " BAR4: 0x%8x", pci_read_field(device, PCI_BAR4, 4));
fprintf(tty, " BAR6: 0x%8x\n", pci_read_field(device, PCI_BAR5, 4)); fprintf(tty, " BAR6: 0x%8x\n", pci_read_field(device, PCI_BAR5, 4));
fprintf(tty, " IRQ Line: %d", pci_read_field(device, 0x3C, 1));
fprintf(tty, " IRQ Pin: %d", pci_read_field(device, 0x3D, 1));
fprintf(tty, " Interrupt: %d", pci_get_interrupt(device));
fprintf(tty, " Status: 0x%4x\n", pci_read_field(device, PCI_STATUS, 2));
} }
static int shell_pci(fs_node_t * tty, int argc, char * argv[]) { static int shell_pci(fs_node_t * tty, int argc, char * argv[]) {