es tan facil como solo usar la funcion mysql_num_rows(), en tu caso seria
Código PHP:
include("conn.php");
$resultados=mysql_db_query("prockto","SELECT marca FROM autos ORDER BY marca ASC");
$numero = mysql_num_rows($resultado); //aca keda el numero
while($fila=mysql_fetch_array($resultados)){
echo $fila["marca"]." $numero<br>";
}
mysql_free_result($resultados);
Saludos