target/riscv: add satp_mode profile support
'satp_mode' is a requirement for supervisor profiles like RVA22S64. User-mode/application profiles like RVA22U64 doesn't care. Add 'satp_mode' to the profile description. If a profile requires it, set it during cpu_set_profile(). We'll also check it during finalize() to validate if the running config implements the profile. Signed-off-by: Daniel Henrique Barboza <dbarboza@ventanamicro.com> Reviewed-by: Andrew Jones <ajones@ventanamicro.com> Acked-by: Alistair Francis <alistair.francis@wdc.com> Message-ID: <20231218125334.37184-24-dbarboza@ventanamicro.com> Signed-off-by: Alistair Francis <alistair.francis@wdc.com>
This commit is contained in:
parent
e7acc1cb93
commit
55398025e7
@ -1542,6 +1542,7 @@ static RISCVCPUProfile RVA22U64 = {
|
||||
.name = "rva22u64",
|
||||
.misa_ext = RVI | RVM | RVA | RVF | RVD | RVC | RVU,
|
||||
.priv_spec = RISCV_PROFILE_ATTR_UNUSED,
|
||||
.satp_mode = RISCV_PROFILE_ATTR_UNUSED,
|
||||
.ext_offsets = {
|
||||
CPU_CFG_OFFSET(ext_zicsr), CPU_CFG_OFFSET(ext_zihintpause),
|
||||
CPU_CFG_OFFSET(ext_zba), CPU_CFG_OFFSET(ext_zbb),
|
||||
|
@ -82,6 +82,7 @@ typedef struct riscv_cpu_profile {
|
||||
bool enabled;
|
||||
bool user_set;
|
||||
int priv_spec;
|
||||
int satp_mode;
|
||||
const int32_t ext_offsets[];
|
||||
} RISCVCPUProfile;
|
||||
|
||||
|
@ -771,6 +771,31 @@ void riscv_cpu_validate_set_extensions(RISCVCPU *cpu, Error **errp)
|
||||
riscv_cpu_disable_priv_spec_isa_exts(cpu);
|
||||
}
|
||||
|
||||
#ifndef CONFIG_USER_ONLY
|
||||
static bool riscv_cpu_validate_profile_satp(RISCVCPU *cpu,
|
||||
RISCVCPUProfile *profile,
|
||||
bool send_warn)
|
||||
{
|
||||
int satp_max = satp_mode_max_from_map(cpu->cfg.satp_mode.supported);
|
||||
|
||||
if (profile->satp_mode > satp_max) {
|
||||
if (send_warn) {
|
||||
bool is_32bit = riscv_cpu_is_32bit(cpu);
|
||||
const char *req_satp = satp_mode_str(profile->satp_mode, is_32bit);
|
||||
const char *cur_satp = satp_mode_str(satp_max, is_32bit);
|
||||
|
||||
warn_report("Profile %s requires satp mode %s, "
|
||||
"but satp mode %s was set", profile->name,
|
||||
req_satp, cur_satp);
|
||||
}
|
||||
|
||||
return false;
|
||||
}
|
||||
|
||||
return true;
|
||||
}
|
||||
#endif
|
||||
|
||||
static void riscv_cpu_validate_profile(RISCVCPU *cpu,
|
||||
RISCVCPUProfile *profile)
|
||||
{
|
||||
@ -780,6 +805,13 @@ static void riscv_cpu_validate_profile(RISCVCPU *cpu,
|
||||
bool profile_impl = true;
|
||||
int i;
|
||||
|
||||
#ifndef CONFIG_USER_ONLY
|
||||
if (profile->satp_mode != RISCV_PROFILE_ATTR_UNUSED) {
|
||||
profile_impl = riscv_cpu_validate_profile_satp(cpu, profile,
|
||||
send_warn);
|
||||
}
|
||||
#endif
|
||||
|
||||
if (profile->priv_spec != RISCV_PROFILE_ATTR_UNUSED &&
|
||||
profile->priv_spec != env->priv_ver) {
|
||||
profile_impl = false;
|
||||
@ -1084,6 +1116,14 @@ static void cpu_set_profile(Object *obj, Visitor *v, const char *name,
|
||||
cpu->env.priv_ver = profile->priv_spec;
|
||||
}
|
||||
|
||||
#ifndef CONFIG_USER_ONLY
|
||||
if (profile->satp_mode != RISCV_PROFILE_ATTR_UNUSED) {
|
||||
const char *satp_prop = satp_mode_str(profile->satp_mode,
|
||||
riscv_cpu_is_32bit(cpu));
|
||||
object_property_set_bool(obj, satp_prop, profile->enabled, NULL);
|
||||
}
|
||||
#endif
|
||||
|
||||
for (i = 0; misa_bits[i] != 0; i++) {
|
||||
uint32_t bit = misa_bits[i];
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user