diff options
Diffstat (limited to 'src/arch/arm64')
-rw-r--r-- | src/arch/arm64/include/arch/boot/boot.h | 2 | ||||
-rw-r--r-- | src/arch/arm64/include/arch/clock.h | 2 | ||||
-rw-r--r-- | src/arch/arm64/include/arm_tf_temp.h | 2 | ||||
-rw-r--r-- | src/arch/arm64/include/armv8/arch/lib_helpers.h | 2 | ||||
-rw-r--r-- | src/arch/arm64/include/armv8/arch/mmu.h | 2 |
5 files changed, 5 insertions, 5 deletions
diff --git a/src/arch/arm64/include/arch/boot/boot.h b/src/arch/arm64/include/arch/boot/boot.h index bff7fe63cd..ae6913cc0c 100644 --- a/src/arch/arm64/include/arch/boot/boot.h +++ b/src/arch/arm64/include/arch/boot/boot.h @@ -18,4 +18,4 @@ #define ELF_DATA ELFDATA2LSB #define ELF_ARCH EM_AARCH64 -#endif /* ASM_ARM_BOOT_H */ +#endif /* ASM_ARM64_BOOT_H */ diff --git a/src/arch/arm64/include/arch/clock.h b/src/arch/arm64/include/arch/clock.h index c19230eb62..77d09d8ef0 100644 --- a/src/arch/arm64/include/arch/clock.h +++ b/src/arch/arm64/include/arch/clock.h @@ -20,4 +20,4 @@ void set_cntfrq(uint32_t); -#endif //__ARM_CLOCK_H_ +#endif /* __ARM_CLOCK_H_ */ diff --git a/src/arch/arm64/include/arm_tf_temp.h b/src/arch/arm64/include/arm_tf_temp.h index c9fe8c15f9..8db5dcb49c 100644 --- a/src/arch/arm64/include/arm_tf_temp.h +++ b/src/arch/arm64/include/arm_tf_temp.h @@ -104,4 +104,4 @@ typedef struct bl31_params { image_info_t *bl33_image_info; } bl31_params_t; -#endif /* __ARM_TF_H__ */ +#endif /* __ARM_TF_TEMP_H__ */ diff --git a/src/arch/arm64/include/armv8/arch/lib_helpers.h b/src/arch/arm64/include/armv8/arch/lib_helpers.h index 51a754a8af..94078e970c 100644 --- a/src/arch/arm64/include/armv8/arch/lib_helpers.h +++ b/src/arch/arm64/include/armv8/arch/lib_helpers.h @@ -586,4 +586,4 @@ void tlbivaa_el1(uint64_t va); #endif // __ASSEMBLY__ -#endif // __ARCH_LIB_HELPERS_H__ +#endif /* __ARCH_LIB_HELPERS_H__ */ diff --git a/src/arch/arm64/include/armv8/arch/mmu.h b/src/arch/arm64/include/armv8/arch/mmu.h index 3edb76c5a4..7c3b6a74d6 100644 --- a/src/arch/arm64/include/armv8/arch/mmu.h +++ b/src/arch/arm64/include/armv8/arch/mmu.h @@ -157,4 +157,4 @@ void mmu_enable(void); /* Disable the MMU (which also disables dcache but not icache). */ void mmu_disable(void); -#endif // __ARCH_ARM64_MMU_H__ +#endif /* __ARCH_ARM64_MMU_H__ */ |