From 1b42d3ace3ed38bda35276838a880db24ba7db82 Mon Sep 17 00:00:00 2001 From: Xiang W Date: Wed, 16 Mar 2022 18:16:48 +0800 Subject: include: Use static asserts for SBI_SCRATCH_xxx_OFFSET defines Add static detection to prevent the modification of struct sbi_scratch from forgetting the modification of SBI_SCRATCH_xxx_OFFSET Signed-off-by: Xiang W Reviewed-by: Anup Patel --- include/sbi/sbi_scratch.h | 60 +++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 60 insertions(+) (limited to 'include/sbi') diff --git a/include/sbi/sbi_scratch.h b/include/sbi/sbi_scratch.h index 0c27307..2f6f0a1 100644 --- a/include/sbi/sbi_scratch.h +++ b/include/sbi/sbi_scratch.h @@ -73,6 +73,66 @@ struct sbi_scratch { unsigned long options; }; +/** + * Prevent modification of struct sbi_scratch from affecting + * SBI_SCRATCH_xxx_OFFSET + */ +_Static_assert( + offsetof(struct sbi_scratch, fw_start) + == SBI_SCRATCH_FW_START_OFFSET, + "struct sbi_scratch definition has changed, please redefine " + "SBI_SCRATCH_FW_START_OFFSET"); +_Static_assert( + offsetof(struct sbi_scratch, fw_size) + == SBI_SCRATCH_FW_SIZE_OFFSET, + "struct sbi_scratch definition has changed, please redefine " + "SBI_SCRATCH_FW_SIZE_OFFSET"); +_Static_assert( + offsetof(struct sbi_scratch, next_arg1) + == SBI_SCRATCH_NEXT_ARG1_OFFSET, + "struct sbi_scratch definition has changed, please redefine " + "SBI_SCRATCH_NEXT_ARG1_OFFSET"); +_Static_assert( + offsetof(struct sbi_scratch, next_addr) + == SBI_SCRATCH_NEXT_ADDR_OFFSET, + "struct sbi_scratch definition has changed, please redefine " + "SBI_SCRATCH_NEXT_ADDR_OFFSET"); +_Static_assert( + offsetof(struct sbi_scratch, next_mode) + == SBI_SCRATCH_NEXT_MODE_OFFSET, + "struct sbi_scratch definition has changed, please redefine " + "SBI_SCRATCH_NEXT_MODE_OFFSET"); +_Static_assert( + offsetof(struct sbi_scratch, warmboot_addr) + == SBI_SCRATCH_WARMBOOT_ADDR_OFFSET, + "struct sbi_scratch definition has changed, please redefine " + "SBI_SCRATCH_WARMBOOT_ADDR_OFFSET"); +_Static_assert( + offsetof(struct sbi_scratch, platform_addr) + == SBI_SCRATCH_PLATFORM_ADDR_OFFSET, + "struct sbi_scratch definition has changed, please redefine " + "SBI_SCRATCH_PLATFORM_ADDR_OFFSET"); +_Static_assert( + offsetof(struct sbi_scratch, hartid_to_scratch) + == SBI_SCRATCH_HARTID_TO_SCRATCH_OFFSET, + "struct sbi_scratch definition has changed, please redefine " + "SBI_SCRATCH_HARTID_TO_SCRATCH_OFFSET"); +_Static_assert( + offsetof(struct sbi_scratch, trap_exit) + == SBI_SCRATCH_TRAP_EXIT_OFFSET, + "struct sbi_scratch definition has changed, please redefine " + "SBI_SCRATCH_TRAP_EXIT_OFFSET"); +_Static_assert( + offsetof(struct sbi_scratch, tmp0) + == SBI_SCRATCH_TMP0_OFFSET, + "struct sbi_scratch definition has changed, please redefine " + "SBI_SCRATCH_TMP0_OFFSET"); +_Static_assert( + offsetof(struct sbi_scratch, options) + == SBI_SCRATCH_OPTIONS_OFFSET, + "struct sbi_scratch definition has changed, please redefine " + "SBI_SCRATCH_OPTIONS_OFFSET"); + /** Possible options for OpenSBI library */ enum sbi_scratch_options { /** Disable prints during boot */ -- cgit v1.2.3