diff options
Diffstat (limited to 'big-little/virtualisor/virt_setup.c')
| -rw-r--r-- | big-little/virtualisor/virt_setup.c | 34 |
1 files changed, 17 insertions, 17 deletions
diff --git a/big-little/virtualisor/virt_setup.c b/big-little/virtualisor/virt_setup.c index 4403ae2..33949f0 100644 --- a/big-little/virtualisor/virt_setup.c +++ b/big-little/virtualisor/virt_setup.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" @@ -46,7 +46,7 @@ static mem_trap_data svgic_distif_trap */ static unsigned virt_init[NUM_CPUS]; -/* +/* * Detect the type of dual cluster system we are, read * our cpu type and then use the KFS_ID register to * return the type of cpu on the other cluster. @@ -110,7 +110,7 @@ void SetupVirtualisor(unsigned first_cpu) write_hstr(read_hstr() | (1 << 9)); } - /* + /* * Cache geometry of each cpu on the host cluster needs * to be virtualised if the cpu type is different from * that on the target cluster. This can be done generic- @@ -130,12 +130,12 @@ void SetupVirtualisor(unsigned first_cpu) } - /* + /* * If the two clusters have different cpu types, then the * target saves its midr and the host uses the value to * virtualise its midr. - * mpidr is virtualised on the host cluster whether we are - * running "always on" or "switching". The latter cares + * mpidr is virtualised on the host cluster whether we are + * running "always on" or "switching". The latter cares * about the cluster id while the former cares about the * cpu ids as well. */ @@ -144,7 +144,7 @@ void SetupVirtualisor(unsigned first_cpu) if (cpu_no != sibling) host_virt_regs[cpu_id].midr = read_midr(); if (!switcher) { - /* + /* * Send a signal to the host to indicate * that the regs is ready to be read. The * cpu id is the absolute cpu number across @@ -155,15 +155,15 @@ void SetupVirtualisor(unsigned first_cpu) } else { if (!switcher) { /* - * Wait for the target to read its regs + * Wait for the target to read its regs * before using them. */ wait_for_event(VID_REGS_DONE, abs_cpuid); reset_event(VID_REGS_DONE, abs_cpuid); /* - * Add number of cpus in the target cluster to - * the cpuid of this cpu. + * Add number of cpus in the target cluster to + * the cpuid of this cpu. */ host_virt_regs[cpu_id].mpidr += CLUSTER_CPU_COUNT(!host_cluster); @@ -191,7 +191,7 @@ void SetupVirtualisor(unsigned first_cpu) RestoreVirtualisor(first_cpu); } - /* + /* * Do the cpu specific initialisation (if any) */ vd_len = (unsigned)&virt_desc_section$$Length; |