I open the kext binary in a hex editor then search for the platform data by searching for the ig-platform-id.
So for 0x191b0000, search for 00 00 1b 19.
You find this:
Code:
00 00 1B 19 00 00 00 00 FF 08 08 00 00 00 00 00 01 03 03 03 00 00 20 02 00 00 50 01 00 00 00 60
6C 05 00 00 6C 05 00 00 00 00 00 00 00 00 00 00
00 00 08 00 02 00 00 00 98 00 00 00
01 05 09 00 00 04 00 00 87 01 00 00
02 04 0A 00 00 04 00 00 87 01 00 00
FF 00 00 00 01 00 00 00 20 00 00 00
0F 11 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 20 23 1B 00 00 00 00 00 20 24 1B 00 00 00 00 00 70 24 1B 00 00 00 00 00 01 00 00 00 08 00 00 00 01 00 00 00 00 00 00 00
So, for 0x191b0000, the PWMMax is 0x56c.