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 --- include/sbi/sbi_domain.h | 2 ++ 1 file changed, 2 insertions(+) (limited to 'include') diff --git a/include/sbi/sbi_domain.h b/include/sbi/sbi_domain.h index eaca7f09..124ea90b 100644 --- a/include/sbi/sbi_domain.h +++ b/include/sbi/sbi_domain.h @@ -122,6 +122,8 @@ struct sbi_domain { bool system_reset_allowed; /** Is domain allowed to suspend the system */ bool system_suspend_allowed; + /** Identifies whether to include the firmware region */ + bool fw_region_inited; }; /** The root domain instance */ -- cgit v1.3.1