(again)

Author: Daniel Rossier

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

@@ -21,8 +21,7 @@
 
 #include <asm/mmu.h>
 
-ipamap_t agency_ipamap[] = 
-{
+ipamap_t agency_ipamap[] = {
 	{
 		.ipa_addr = 0x08000000,
 		.phys_addr = 0x08000000,
@@ -35,8 +34,7 @@ ipamap_t agency_ipamap[] =
  * which will be trapped and handled by the hypervisor.
  */
 
-ipamap_t capsule_ipamap[] = 
-{
+ipamap_t capsule_ipamap[] = {
 
 	{
 		/* Only mapping the CPU interface to the vGIC CPU interface.