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