Video games in the Devil May Cry series.