diff options
| author | Xiang W <[email protected]> | 2023-03-16 20:11:11 +0800 |
|---|---|---|
| committer | Anup Patel <[email protected]> | 2023-04-06 16:14:35 +0530 |
| commit | 73ab11dfb0bfaa2f7792cf10804c04c157dc2291 (patch) | |
| tree | c375a74c8c1d783f8523ec1ec9f8df1a238614f9 /lib/utils | |
| parent | ed88a63b90249c570c7f1f123e979f6f5faf657a (diff) | |
lib: sbi: Fix how to check whether the domain contains fw_region
Because firmware is split into rw/rx segments, it cannot be recorded
by a root_fw_region. This problem is solved by adding a flag
fw_region_inited to sbi_domain.
Signed-off-by: Xiang W <[email protected]>
Reviewed-by: Himanshu Chauhan <[email protected]>
Reviewed-by: Anup Patel <[email protected]>
Diffstat (limited to 'lib/utils')
| -rw-r--r-- | lib/utils/fdt/fdt_domain.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/utils/fdt/fdt_domain.c b/lib/utils/fdt/fdt_domain.c index adcb94b6..bb6d17d2 100644 --- a/lib/utils/fdt/fdt_domain.c +++ b/lib/utils/fdt/fdt_domain.c @@ -358,6 +358,7 @@ static int __fdt_parse_domain(void *fdt, int domain_offset, void *opaque) return SBI_EINVAL; memcpy(®ions[val32++], reg, sizeof(*reg)); } + dom->fw_region_inited = root.fw_region_inited; /* Read "boot-hart" DT property */ val32 = -1U; |