From d0f57d10cba6435caa095c88ee3a490252981a47 Mon Sep 17 00:00:00 2001 From: "K. Lange" Date: Sat, 21 Jul 2018 19:17:23 +0900 Subject: [PATCH] Show more PCI info in debug shell --- modules/debug_sh.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/modules/debug_sh.c b/modules/debug_sh.c index b843c1e2..b8565e5e 100644 --- a/modules/debug_sh.c +++ b/modules/debug_sh.c @@ -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, " 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[]) {