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 /include | |
| 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 'include')
| -rw-r--r-- | include/sbi/sbi_domain.h | 2 |
1 files changed, 2 insertions, 0 deletions
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 */ |