SV_SVPBMT
CHECK_S_EXT("svpbmt", SV_SVPBMT);
UPDATE_CAP(has_svpbmt, (desc->smode_extensions & SV_SVPBMT) != 0);