diff options
Diffstat (limited to 'big-little/secure_world/secure_context.c')
| -rw-r--r-- | big-little/secure_world/secure_context.c | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/big-little/secure_world/secure_context.c b/big-little/secure_world/secure_context.c index 321f4ab..9619823 100644 --- a/big-little/secure_world/secure_context.c +++ b/big-little/secure_world/secure_context.c @@ -1,23 +1,23 @@ /* * Copyright (c) 2012, ARM Limited. All rights reserved. - * + * * Redistribution and use in source and binary forms, with * or without modification, are permitted provided that the * following conditions are met: - * + * * Redistributions of source code must retain the above - * copyright notice, this list of conditions and the + * copyright notice, this list of conditions and the * following disclaimer. * * Redistributions in binary form must reproduce the - * above copyright notice, this list of conditions and - * the following disclaimer in the documentation + * above copyright notice, this list of conditions and + * the following disclaimer in the documentation * and/or other materials provided with the distribution. - * + * * Neither the name of ARM nor the names of its * contributors may be used to endorse or promote products * derived from this software without specific prior written - * permission. + * permission. */ #include "secure_world.h" @@ -51,7 +51,7 @@ void enable_caches(void) /* * Only one cpu should enable the CCI while the other - * cpus wait. + * cpus wait. */ if (first_cpu == cpu_id) { if (cluster_id) @@ -158,7 +158,7 @@ static void create_l1_sp_desc(unsigned virt_addr, unsigned l1_ttb_va, ttb1_index = (virt_addr & MB_MASK) >> MB_SHIFT; - /* + /* * Create a mapping if one is not already present. * Assuming that page tables are initialized to 0. */ @@ -190,8 +190,8 @@ static void create_l2_sp_desc(unsigned virt_addr, unsigned phys_addr, /* Left shift by 12 followed by a right shift by 24 gives 2nd level index */ ttb2_index = (virt_addr << PAGE_SHIFT) >> (PAGE_SHIFT * 2); - /* - * Create a mapping if one is not already present + /* + * Create a mapping if one is not already present * Assuming that page tables are initialized to 0. */ if (!(read32(l2_ttb_va + 4 * ttb2_index))) { |