Question: How many laps in total does the driver named Eddie Irvine have?
SQL: SELECT COUNT(laps) FROM table_name_7 WHERE driver = "eddie irvine"