GNU indent pass over C and header files.

Basically:

$ for f in $(find . -name "*.[ch]"; do indent -linux $f; done

Signed-off-by: Robin Randhawa <robin.randhawa@arm.com>

1 files changed, 35 insertions, 35 deletions

diff --git a/big-little/secure_world/events.c b/big-little/secure_world/events.c
index 6577a05..4533039 100644
--- a/big-little/secure_world/events.c
+++ b/big-little/secure_world/events.c
@@ -18,7 +18,7 @@
  * contributors may be used to endorse or promote products
  * derived from this software without specific prior written
  * permission.                        
- */ 
+ */
 
 #include "events.h"
 
@@ -27,36 +27,36 @@
  */
 void _set_event(unsigned event_id, unsigned cpu_id, unsigned event_type)
 {
-        dsb();
-        secure_event[cpu_id][event_id] = TRUE;
-        dsb();
-        sev();
-        return;
+	dsb();
+	secure_event[cpu_id][event_id] = TRUE;
+	dsb();
+	sev();
+	return;
 }
 
 inline unsigned _get_event(unsigned event_id, unsigned cpu_id)
 {
-        return secure_event[cpu_id][event_id];
+	return secure_event[cpu_id][event_id];
 }
 
 void _reset_event(unsigned event_id, unsigned cpu_id, unsigned event_type)
 {
-        dsb();
-        secure_event[cpu_id][event_id] = FALSE;
-        dsb();
-        return;
+	dsb();
+	secure_event[cpu_id][event_id] = FALSE;
+	dsb();
+	return;
 }
 
 void _wait_for_event(unsigned event_id, unsigned cpu_id, unsigned event_type)
 {
-        dsb();
-        do {
-                wfe();
-                isb();
-                dsb();
-        } while (FALSE == _get_event(event_id, cpu_id));
+	dsb();
+	do {
+		wfe();
+		isb();
+		dsb();
+	} while (FALSE == _get_event(event_id, cpu_id));
 
-        return;
+	return;
 }
 
 /*
@@ -69,27 +69,27 @@ void _wait_for_event(unsigned event_id, unsigned cpu_id, unsigned event_type)
  */
 void _wait_for_events(unsigned event_id, unsigned event_type)
 {
-        unsigned ctr, event_count = 0, num_cpus = num_secondaries() + 1;;
+	unsigned ctr, event_count = 0, num_cpus = num_secondaries() + 1;;
 
-        dsb();
-        do {
-                wfe();
-                for (ctr = 0; ctr < num_cpus; ctr++) {
-                        if (TRUE == _get_event(event_id, ctr)) {
-                                event_count++;
-                                _reset_event(event_id, ctr, event_type);
-                        }
-                }
-        } while (event_count != num_cpus);
+	dsb();
+	do {
+		wfe();
+		for (ctr = 0; ctr < num_cpus; ctr++) {
+			if (TRUE == _get_event(event_id, ctr)) {
+				event_count++;
+				_reset_event(event_id, ctr, event_type);
+			}
+		}
+	} while (event_count != num_cpus);
 
-        return;
+	return;
 }
 
 void _set_events(unsigned event_id, unsigned event_type)
 {
-        unsigned ctr;
-        for (ctr = 0; ctr < (num_secondaries() + 1); ctr++) {
-                _set_event(event_id, ctr, event_type);
-        }
-        return;
+	unsigned ctr;
+	for (ctr = 0; ctr < (num_secondaries() + 1); ctr++) {
+		_set_event(event_id, ctr, event_type);
+	}
+	return;
 }