From 794b20331485d943b3106ebaf8b80cbf029753d5 Mon Sep 17 00:00:00 2001 From: dhewg Date: Wed, 22 Apr 2009 00:47:07 +0200 Subject: [PATCH] indent nonsense --- powerpc.c | 26 +++++++++++++------------- 1 file changed, 13 insertions(+), 13 deletions(-) diff --git a/powerpc.c b/powerpc.c index 0c0fa90..7bc083c 100644 --- a/powerpc.c +++ b/powerpc.c @@ -81,20 +81,20 @@ void powerpc_reset() void powerpc_ipc(volatile ipc_request *req) { switch (req->req) { - case IPC_PPC_BOOT: - if (req->args[0]) { - // Enqueued from ARM side, do not invalidate mem nor ipc_post - powerpc_boot_mem((u8 *) req->args[1], req->args[2]); - } else { - dc_invalidaterange((void *) req->args[1], req->args[2]); - int res = powerpc_boot_mem((u8 *) req->args[1], req->args[2]); - if (res) - ipc_post(req->code, req->tag, 1, res); - } + case IPC_PPC_BOOT: + if (req->args[0]) { + // Enqueued from ARM side, do not invalidate mem nor ipc_post + powerpc_boot_mem((u8 *) req->args[1], req->args[2]); + } else { + dc_invalidaterange((void *) req->args[1], req->args[2]); + int res = powerpc_boot_mem((u8 *) req->args[1], req->args[2]); + if (res) + ipc_post(req->code, req->tag, 1, res); + } - break; - default: - gecko_printf("IPC: unknown SLOW PPC request %04X\n", req->req); + break; + default: + gecko_printf("IPC: unknown SLOW PPC request %04X\n", req->req); } }