space -> tab indent

no functional change (one would at least hope ...)

diff --git a/platform/hw/intr.c b/platform/hw/intr.c
index 837f516bafc22465e4eda5c94b9b1e6313237907..e9e3ded22f07d126373de0b7ea2f0db2828dc94f 100644 (file)
--- a/platform/hw/intr.c
+++ b/platform/hw/intr.c
@@ -73,9 +73,9 @@ doisr(void *arg)
 {
        int i, totwork = 0;
 
-        rumpuser__hyp.hyp_schedule();
-        rumpuser__hyp.hyp_lwproc_newlwp(0);
-        rumpuser__hyp.hyp_unschedule();
+       rumpuser__hyp.hyp_schedule();
+       rumpuser__hyp.hyp_lwproc_newlwp(0);
+       rumpuser__hyp.hyp_unschedule();
 
        splhigh();
        for (;;) {