Symbol: SV_SSCOFPMF
sys/riscv/riscv/identcpu.c
180
CHECK_S_EXT("sscofpmf", SV_SSCOFPMF);
sys/riscv/riscv/identcpu.c
467
UPDATE_CAP(has_sscofpmf, (desc->smode_extensions & SV_SSCOFPMF) != 0);