Table schema:
CREATE TABLE table_name_7 (laps VARCHAR, driver VARCHAR)

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"