Ignore system signals.

diff --git a/drivers/pci/main.c b/drivers/pci/main.c
index 717fcdaafc9319d9c92dadc53b6ab6531c659402..716835ae2f9fcc0647e5a9d37ed006dafa148681 100644 (file)
--- a/drivers/pci/main.c
+++ b/drivers/pci/main.c
@@ -67,6 +67,7 @@ int main(void)
                case BUSC_PCI_ATTR_W16: do_attr_w16(&m); break;
                case BUSC_PCI_ATTR_W32: do_attr_w32(&m); break;
                case BUSC_PCI_RESCAN: do_rescan_bus(&m); break;
+               case SYS_SIG: /* system signal, ignore it */ break;
                default:
                        printf("PCI: got message from %d, type %d\n",
                                m.m_source, m.m_type);