Here it is
| +-o platform <class IOService, !registered, !matched, active, busy 0, retain 4>
| | {
| | "CPUFrequency" = <d9132f5900000000>
| | "name" = <"platform">
| | "FSBFrequency" = <51c9e80900000000>
| | "TSCFrequency" = <dc132f5900000000>
| | }
--
"platform-uuid" = <00000000000010008000001d7274099b>
}
I hope this helps.
Thanks a lot for looking into this.