Lines Matching refs:vmin_satisfied