From 7fb680eb5601fca8851947fdd2d78ed310c0bf2e Mon Sep 17 00:00:00 2001 From: Jimmy Brush Date: Tue, 22 Aug 2023 11:05:27 -0400 Subject: [PATCH] trivial: fix whitespace Signed-off-by: Jimmy Brush --- libsel4simple-default/src/arch/riscv/default.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/libsel4simple-default/src/arch/riscv/default.c b/libsel4simple-default/src/arch/riscv/default.c index c8684381..d1d015d3 100644 --- a/libsel4simple-default/src/arch/riscv/default.c +++ b/libsel4simple-default/src/arch/riscv/default.c @@ -26,7 +26,7 @@ seL4_Error simple_default_get_irq_trigger(void *data, int irq, int trigger, UNUS return seL4_IRQControl_GetTrigger(seL4_CapIRQControl, irq, trigger, root, index, depth); } -void simple_default_init_arch_simple(arch_simple_t *simple, void *data) +void simple_default_init_arch_simple(arch_simple_t *simple, void *data) { simple->data = data; simple->irq = simple_default_get_irq;