HDMI CEC接口的微控制器有几个？查了很久没有答案，谁用过或者了解的

现在只有一个STM32F7系列的芯片有这个接口的处理，其他芯片厂商的有CEC管脚的么？

s5pv210.