portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

arm-hyp: Add preprocessor guard comments

Browse source
This commit is contained in:
Adrian Danis 2016-06-22 14:24:53 +10:00
parent 71bd25249e
commit 0830533513
2 changed files with 7 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
include/plat/tk1/plat/machine/smmu.h
View file

@ -166,7 +166,7 @@ void plat_smmu_ptc_flush_all(void);
iopde_t *plat_smmu_lookup_iopd_by_asid(uint32_t asid);
void plat_smmu_handle_interrupt(void);
#else
#else /* !CONFIG_ARM_SMMU */
/* dummy functions */
static inline void
@ -175,6 +175,6 @@ plat_smmu_handle_interrupt(void)
return;
}
#endif
#endif /* CONFIG_ARM_SMMU */
#endif
#endif /* __PLAT_SMMU_H */

8
src/arch/arm/32/kernel/vspace.c
View file

@ -182,7 +182,7 @@ map_kernel_frame(paddr_t paddr, pptr_t vaddr, vm_rights_t vm_rights, vm_attribut
1, /* Write-back caching */
0 /* executable */
);
#else
#else /* CONFIG_ARM_HYPERVISOR_SUPPORT */
armHSGlobalPT[idx] =
pteS1_pteS1_small_new(
0, /* Executeable */
@ -196,7 +196,7 @@ map_kernel_frame(paddr_t paddr, pptr_t vaddr, vm_rights_t vm_rights, vm_attribut
0, /* non secure */
vm_attributes_get_armPageCacheable(attributes)
);
#endif
#endif /* !CONFIG_ARM_HYPERVISOR_SUPPORT */
}
#ifndef CONFIG_ARM_HYPERVISOR_SUPPORT
@ -344,7 +344,7 @@ map_kernel_window(void)
map_kernel_devices();
}
#else
#else /* CONFIG_ARM_HYPERVISOR_SUPPORT */
BOOT_CODE void
map_kernel_window(void)
@ -462,7 +462,7 @@ map_kernel_window(void)
map_kernel_devices();
}
#endif
#endif /* !CONFIG_ARM_HYPERVISOR_SUPPORT */
static BOOT_CODE void
map_it_frame_cap(cap_t pd_cap, cap_t frame_cap, bool_t executable)