[lxgr]

Maybe HDMI-CEC? But at least some versions of DisplayPort also support that, including DP alt mode. Some USB-C to HDMI (via DP alt mode) adapters even advertise that capability.