commit 7cad0c31cfe9e124b10da31de8eaffb3cda67c6e
author Damon Lee <Damon.Lee@data61.csiro.au> Thu Jul 25 13:58:21 2019 +1000
committer Damon Lee <Damon.Lee@data61.csiro.au> Mon Aug 19 14:38:20 2019 +1000
tree a5940ed48352ad8e54fae0d23c58126ec9e31128
parent 6a0c026936f8945f32963ff6e25ca78020bf4a0d

trivial: style changed files

libsel4platsupport/src/irq.c

diff --git a/libsel4platsupport/src/irq.c b/libsel4platsupport/src/irq.c
index aac6449..3280837 100644
--- a/libsel4platsupport/src/irq.c
+++ b/libsel4platsupport/src/irq.c
@@ -340,7 +340,7 @@
 }
 
 int sel4platsupport_new_irq_ops(ps_irq_ops_t *irq_ops, vka_t *vka, simple_t *simple,
-                                 irq_interface_config_t irq_config, ps_malloc_ops_t *malloc_ops)
+                                irq_interface_config_t irq_config, ps_malloc_ops_t *malloc_ops)
 {
     if (!irq_ops || !vka || !simple || !malloc_ops) {
         return -EINVAL;