[cesarb]

I have; it's the name of the Linux subsystem for it (for instance /sys/class/typec has information on the device's USB-C ports).