exposing HDMI clock through the mailbox property interface

Hi all,

I am trying to determine the frequency of the hdmi clock at runtime.

I mean the one that on the linux device tree is assigned to BCM2835_CLOCK_HSM.

Is that already accessible through the mailbox under a different name?

If not, would it be possible to add get/set status and frequency of the HDMI clock through the mailbox property interface ?

Thanks :-)

