SV_SSCOFPMF
CHECK_S_EXT("sscofpmf", SV_SSCOFPMF);
UPDATE_CAP(has_sscofpmf, (desc->smode_extensions & SV_SSCOFPMF) != 0);