Esas serían mis mejores opciones. Otra podría ser “pulsador doble” (aunque no me termina de convencer).
Creo que se refiere al dispositivo, no al “puerto” (los puertos de entrada o salida son las interfaces mediante las cuales se conectan los dispositivos).
En uno de los siguientes enlaces se puede ver bien en una foto.
En cuanto al término “pulsador”, me parece más preciso que “interruptor”. Dejo un enlace que explica las diferencias entre los dos.
Espero poder ayudar.
https://www.votepinellas.com/General-Information/Voter-Outre...
https://vip.sos.nd.gov/pdfs/Portals/OpenClosePolls.pdf
https://www.areatecnologia.com/electricidad/pulsador.htm