Earliest gated reverb credit

What track do you count as the first true gated reverb drum sound — Peter Gabriel’s “Intruder” (1980, Townhouse Studio 2 with the SSL 4000E listen mic compressor) or Phil Collins’ “In the Air Tonight” for taking it mainstream? I’m prepping a mixing workshop slide and want the attribution engineers use, not just the textbook shorthand.

‌⁠‍⁠​‍​‍‌⁠‌​​‍​‍​⁠‍‍​‍​‍‌‍‌⁠‌‍⁠‌‌‍‍‍​⁠‌‌​‍​‍​‍⁠​​‍​‍‌‍‍⁠​‍​‍​⁠‍‍​‍​‍‌‍⁠‍‌‍‌‌‌⁠‌⁠‌‌⁠⁠‌⁠‌​‌‍⁠⁠‌⁠​​‌‍‍‌‌‍​⁠​‍​‍​‍⁠​​‍​‍‌‍‍‌‌‍‌​​‍​‍​⁠‍‍​‍​‍‌‍⁠‍‌‍‌‌‌⁠‌⁠​‍​‍​‍⁠​​‍​‍‌‍‌​​‍​‍​⁠‍‍​‍​‍​⁠​‍​⁠​​​⁠​‍​⁠‌‌​⁠​‌​⁠​‌​⁠​​​⁠‌⁠​‍​‍​‍⁠​​‍​‍‌‍‍​​‍​‍​⁠‍‍​‍​‍‌‍​‍‌‌‍​​⁠​‌‌⁠‌​‌‌​​​⁠​​‌‌​​‌⁠‌​‌​​⁠‌‍⁠‍‌‌‌‍‌​‌​‌‌​⁠​⁠‍‌‌‌​​​⁠‍‌​‍​‍‌⁠⁠‌​