[RFC PATCH 05/12] include: sbi_domain: add Worlds WID fields

[Yu-Chien Peter Lin]

Adds next_wid (u32 WID for next boot stage), has_next_wid (distinguishes
explicit zero from unset for pmwid fallback), and next_widlist (u64 bitmask
specifying which WIDs can be delegated to this domain) to sbi_domain
structure. Enables per-domain World ID configuration.

Signed-off-by: Yu-Chien Peter Lin <peter.lin at sifive.com>
---
 include/sbi/sbi_domain.h | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/include/sbi/sbi_domain.h b/include/sbi/sbi_domain.h
index 16edd4ce..7d523493 100644
--- a/include/sbi/sbi_domain.h
+++ b/include/sbi/sbi_domain.h
@@ -211,6 +211,12 @@ struct sbi_domain {
 	unsigned long next_addr;
 	/** Privilege mode of next booting stage for this domain */
 	unsigned long next_mode;
+	/** Next booting stage World ID for this domain */
+	u32 next_wid;
+	/** Whether next_wid was explicitly set */
+	bool has_next_wid;
+	/** Next booting stage World ID delegation bitmask for this domain */
+	u64 next_widlist;
 	/** Is domain allowed to reset the system */
 	bool system_reset_allowed;
 	/** Is domain allowed to suspend the system */
-- 
2.43.7