From 73ab11dfb0bfaa2f7792cf10804c04c157dc2291 Mon Sep 17 00:00:00 2001 From: Xiang W Date: Thu, 16 Mar 2023 20:11:11 +0800 Subject: 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 Reviewed-by: Himanshu Chauhan Reviewed-by: Anup Patel --- lib/utils/fdt/fdt_domain.c | 1 + 1 file changed, 1 insertion(+) (limited to 'lib/utils') 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; -- cgit v1.3.1