Fix clang issues

Author: Daniel Rossier

so3/arch/arm64/rpi4_64/include/mach/ipamap.h

@@ -46,10 +46,11 @@ ipamap_t agency_ipamap[] = {
 ipamap_t capsule_ipamap[] = {
 
 	{
-	/* Only mapping the CPU interface to the vGIC CPU interface (GICV).
-	 * Access to the distributor must lead to a trap and be handled by the hypervisor.
-	 * BCM2711 GIC-400: GICV (virtual CPU interface) at 0xFF846000.
-	 */
+		/* Only mapping the CPU interface to the vGIC CPU interface (GICV).
+	 	* Access to the distributor must lead to a trap and be handled by the hypervisor.
+	 	* BCM2711 GIC-400: GICV (virtual CPU interface) at 0xFF846000.
+	 	*/
+		
 		.ipa_addr = 0xff842000,
 		.phys_addr = 0xff846000,
 		.size = 0x2000,

so3/avz/kernel/hypercalls.c

@@ -209,6 +209,6 @@ void do_avz_hypercall(void *__args)
 		break;
 	}
 
-	dsb(ish);   /* inner shareable */
+	dsb(ish);  /* inner shareable */
     	isb();
 }

so3/avz/kernel/smp.c

@@ -108,8 +108,8 @@ void secondary_start_kernel(void)
 #ifdef CONFIG_SOO
 	if (cpu != ME_CPU)
 #endif /* CONFIG_SOO */
-	__mmu_switch_kernel((void *) domains[DOMID_AGENCY]->pagetable_paddr, true);
- 
+		__mmu_switch_kernel((void *) domains[DOMID_AGENCY]->pagetable_paddr, true);
+
 	booted[cpu] = 1;
 
 #ifdef CONFIG_CPU_SPIN_TABLE

so3/soo/kernel/hypervisor.c

@@ -55,8 +55,7 @@ void avz_get_shared(void)
 	 * generate a deferred SError (ESR: bf000002).
 	 * Override the PTE with Normal cacheable attributes.
 	 */
-	create_mapping(NULL, (addr_t) avz_shared,
-		       args.u.avz_domctl_args.domctl.avz_shared_paddr, PAGE_SIZE, false);
+	create_mapping(NULL, (addr_t) avz_shared, args.u.avz_domctl_args.domctl.avz_shared_paddr, PAGE_SIZE, false);
 }
 
 void avz_printch(char c)

so3/soo/kernel/setup.c

@@ -105,8 +105,7 @@ void post_init_setup(void)
 	 * (inner-shareable) for the ring buffer protocol.
 	 * Override the Stage-1 PTE with Normal cacheable attributes.
 	 */
-	create_mapping(NULL, (addr_t) __intf,
-		       pfn_to_phys(avz_shared->dom_desc.u.ME.vbstore_pfn), PAGE_SIZE, false);
+	create_mapping(NULL, (addr_t) __intf, pfn_to_phys(avz_shared->dom_desc.u.ME.vbstore_pfn), PAGE_SIZE, false);
 
 	LOG_INFO("SOO Mobile Entity booting ...\n");