342     const char *warn_msg = "RVG mandates disabled extension %s";  in riscv_cpu_validate_g()  local
359             warn_report(warn_msg, riscv_get_misa_ext_name(bit));  in riscv_cpu_validate_g()
367             warn_report(warn_msg, "zicsr");  in riscv_cpu_validate_g()
375             warn_report(warn_msg, "zifencei");  in riscv_cpu_validate_g()
382     const char *warn_msg = "RVB mandates disabled extension %s";  in riscv_cpu_validate_b()  local
388             warn_report(warn_msg, "zba");  in riscv_cpu_validate_b()
396             warn_report(warn_msg, "zbb");  in riscv_cpu_validate_b()
404             warn_report(warn_msg, "zbs");  in riscv_cpu_validate_b()
662     const char *warn_msg = "Profile %s mandates disabled extension %s";  in riscv_cpu_validate_profile()  local
697                 warn_report(warn_msg, profile->name,  in riscv_cpu_validate_profile()
710                 warn_report(warn_msg, profile->name,  in riscv_cpu_validate_profile()