Searched refs:satp_max (Results 1 – 1 of 1) sorted by relevance
638 int satp_max = satp_mode_max_from_map(cpu->cfg.satp_mode.supported); in riscv_cpu_validate_profile_satp() local640 if (profile->satp_mode > satp_max) { in riscv_cpu_validate_profile_satp()644 const char *cur_satp = satp_mode_str(satp_max, is_32bit); in riscv_cpu_validate_profile_satp()