diff options
Diffstat (limited to 'big-little/switcher/context/sh_vgic.c')
| -rw-r--r-- | big-little/switcher/context/sh_vgic.c | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/big-little/switcher/context/sh_vgic.c b/big-little/switcher/context/sh_vgic.c index c2ba190..36c89c3 100644 --- a/big-little/switcher/context/sh_vgic.c +++ b/big-little/switcher/context/sh_vgic.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 "virt_helpers.h" @@ -39,8 +39,8 @@ static unsigned int cpuif_map[MAX_CLUSTERS][MAX_CORES]; * 4 store the cpuid. * * TODO: - * No real need for this data structure. Should be - * possible to get this info from the previous data + * No real need for this data structure. Should be + * possible to get this info from the previous data * structure and the knowledge of number of clusters * and cpus from the KFSCB */ @@ -61,7 +61,7 @@ static unsigned int cpuinfo_map[MAX_CPUIFS]; * cluster. * Ideally a platform defined register should have done the * trick. However, we rely on a software mechanism to obtain - * this information. + * this information. * * Assumptions: * a) Expected to be used only in the "Switching" case when @@ -78,7 +78,7 @@ static unsigned int cpuinfo_map[MAX_CPUIFS]; * be targetted to the outbound cluster cpus & there will be no * local peripheral interrupts expected. There is paranoia about * getting IPIs from the outbound but this can be dealt with by - * manipulating the IPI priorities so that we only see what we + * manipulating the IPI priorities so that we only see what we * want to see. * * TODO: @@ -163,14 +163,14 @@ unsigned get_cpuif_mask(unsigned cpu_mask) } /* - * Given a cpu interface mask, find its corresponding mask on the other cluster + * Given a cpu interface mask, find its corresponding mask on the other cluster * NOTE: Creates the new mask in-place. */ #if 1 /* * This is the fast version of remapping cpu interface ids to cpuids. Instead of * remapping each bit (target interface) in the arg passed, it simply shifts all - * the bits by the number of cpus available. + * the bits by the number of cpus available. */ unsigned remap_cpuif(unsigned *cpuif_mask) { @@ -203,13 +203,13 @@ unsigned remap_cpuif(unsigned *cpuif_mask) ob_cpuid = get_cpuinfo(ob_cpuif) & 0xf; ob_clusterid = (get_cpuinfo(ob_cpuif) >> 4) & 0xf; - /* + /* * TODO: Can we assume that the inbound and outbound clusters will * always be logical complements of each other */ ib_clusterid = !ob_clusterid; - /* + /* * TODO: Assuming that the cpuids have a 1:1 mapping i.e. cpuX on * one cluster will always map to cpuX on the other cluster. */ |