[dbmnt]

Aruba Networks (acquired by HP in 2015, right before HP split into HP/HPE) has approximately 5% of the market for switching outside of the datacenter segment. They aren't a big player in the DC, you're right about that.

Google used to use HP (pre Aruba) switches in the DC in the early days. Not many though. Mostly for OOB access. I doubt they still do.