[src/trunk]: src/sys/dev/pci Print some DPC register values not with %04x but...

[msaitoh <msaitoh%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/4185608c3201
branches:  trunk
changeset: 845142:4185608c3201
user:      msaitoh <msaitoh%NetBSD.org@localhost>
date:      Fri Sep 20 10:04:45 2019 +0000

description:
Print some DPC register values not with %04x but with %08x because those
are 32bit.

diffstat:

 sys/dev/pci/pci_subr.c |  14 +++++++-------
 1 files changed, 7 insertions(+), 7 deletions(-)

diffs (47 lines):

diff -r 3a81b50ca4ab -r 4185608c3201 sys/dev/pci/pci_subr.c
--- a/sys/dev/pci/pci_subr.c    Fri Sep 20 09:28:37 2019 +0000
+++ b/sys/dev/pci/pci_subr.c    Fri Sep 20 10:04:45 2019 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: pci_subr.c,v 1.216 2019/08/21 02:10:20 msaitoh Exp $   */
+/*     $NetBSD: pci_subr.c,v 1.217 2019/09/20 10:04:45 msaitoh Exp $   */
 
 /*
  * Copyright (c) 1997 Zubin D. Dittia.  All rights reserved.
@@ -40,7 +40,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: pci_subr.c,v 1.216 2019/08/21 02:10:20 msaitoh Exp $");
+__KERNEL_RCSID(0, "$NetBSD: pci_subr.c,v 1.217 2019/09/20 10:04:45 msaitoh Exp $");
 
 #ifdef _KERNEL_OPT
 #include "opt_pci.h"
@@ -3990,23 +3990,23 @@
         */
 
        reg = regs[o2i(extcapoff + PCI_DPC_RPPIO_STAT)];
-       printf("    RP PIO Status Register: 0x%04x\n", reg);
+       printf("    RP PIO Status Register: 0x%08x\n", reg);
        pci_conf_print_dpc_pio(reg);
 
        reg = regs[o2i(extcapoff + PCI_DPC_RPPIO_MASK)];
-       printf("    RP PIO Mask Register: 0x%04x\n", reg);
+       printf("    RP PIO Mask Register: 0x%08x\n", reg);
        pci_conf_print_dpc_pio(reg);
 
        reg = regs[o2i(extcapoff + PCI_DPC_RPPIO_SEVE)];
-       printf("    RP PIO Severity Register: 0x%04x\n", reg);
+       printf("    RP PIO Severity Register: 0x%08x\n", reg);
        pci_conf_print_dpc_pio(reg);
 
        reg = regs[o2i(extcapoff + PCI_DPC_RPPIO_SYSERR)];
-       printf("    RP PIO SysError Register: 0x%04x\n", reg);
+       printf("    RP PIO SysError Register: 0x%08x\n", reg);
        pci_conf_print_dpc_pio(reg);
 
        reg = regs[o2i(extcapoff + PCI_DPC_RPPIO_EXCPT)];
-       printf("    RP PIO Exception Register: 0x%04x\n", reg);
+       printf("    RP PIO Exception Register: 0x%08x\n", reg);
        pci_conf_print_dpc_pio(reg);
 
        printf("    RP PIO Header Log Register: start from 0x%03x\n",