diff --git a/hw/cs4231a.c b/hw/cs4231a.c
index d482e04ac981a7e09dee6965ecad9defc32b9844..46c71eb0838c60059295e10fc0110c979cfa5e4c 100644
--- a/hw/cs4231a.c
+++ b/hw/cs4231a.c
@@ -642,7 +642,7 @@ int cs4231a_init (qemu_irq *pic)
 
     s = qemu_mallocz (sizeof (*s));
 
-    s->pic = isa_reserve_irq(conf.irq);
+    s->pic = isa_reserve_irq (conf.irq);
     s->dma = conf.dma;
     s->port = conf.port;
 
diff --git a/hw/sb16.c b/hw/sb16.c
index 9f7680d40bd2c9e1c59293720f755bd9a5617012..bc17d6f067eccf9075f9de3091312f0aff612cab 100644
--- a/hw/sb16.c
+++ b/hw/sb16.c
@@ -1408,7 +1408,7 @@ int SB16_init (qemu_irq *pic)
     s = qemu_mallocz (sizeof (*s));
 
     s->cmd = -1;
-    s->pic = isa_reserve_irq(conf.irq);
+    s->pic = isa_reserve_irq (conf.irq);
     s->dma = conf.dma;
     s->hdma = conf.hdma;
     s->port = conf.port;