diff options
| -rw-r--r-- | sys/dev/pci/vga_pci.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/sys/dev/pci/vga_pci.c b/sys/dev/pci/vga_pci.c index a7e6e5214ba..97046e732ad 100644 --- a/sys/dev/pci/vga_pci.c +++ b/sys/dev/pci/vga_pci.c @@ -1,4 +1,4 @@ -/* $OpenBSD: vga_pci.c,v 1.57 2010/07/27 07:42:34 mlarkin Exp $ */ +/* $OpenBSD: vga_pci.c,v 1.58 2010/08/04 17:50:38 deraadt Exp $ */ /* $NetBSD: vga_pci.c,v 1.3 1998/06/08 06:55:58 thorpej Exp $ */ /* @@ -313,7 +313,9 @@ vga_pci_activate(struct device *self, int act) break; case DVACT_RESUME: #if defined (X86EMU) && NACPI > 0 - if (vga_pci_do_post) + if (vga_pci_do_post) { + printf("%s: reposting video using BIOS. Is this neccessary?\n", + sc->sc_dev.dv_xname); vga_post_call(sc->sc_posth); #endif rv = config_activate_children(self, act); |