For 10.7.3 without --patch
arch: x86_64
found wrmsr at 0xa11a
found wrmsr at 0xa1e2
found wrmsr at 0xa260
found wrmsr at 0xa2a9
found wrmsr at 0xab64
found wrmsr at 0xac16
found wrmsr at 0xacf4
found wrmsr at 0xb340
found wrmsr at 0x1170a
found wrmsr at 0x117e8
arch: i386
found wrmsr at 0x393e7
found wrmsr at 0x39481
found wrmsr at 0x394dd
found wrmsr at 0x3950e
found wrmsr at 0x39db6
found wrmsr at 0x39e30
found wrmsr at 0x39efa
found wrmsr at 0x3a4d0
found wrmsr at 0x40606
found wrmsr at 0x406d0
For 10.7.3 with --patch
arch: x86_64
found wrmsr at 0xa11a, patched
found wrmsr at 0xa1e2, patched
found wrmsr at 0xa260, patched
found wrmsr at 0xa2a9, patched
found wrmsr at 0xab64, patched
found wrmsr at 0xac16, patched
found wrmsr at 0xacf4, patched
found wrmsr at 0xb340, patched
found wrmsr at 0x1170a, patched
found wrmsr at 0x117e8, patched
arch: i386
found wrmsr at 0x393e7, patched
found wrmsr at 0x39481, patched
found wrmsr at 0x394dd, patched
found wrmsr at 0x3950e, patched
found wrmsr at 0x39db6, patched
found wrmsr at 0x39e30, patched
found wrmsr at 0x39efa, patched
found wrmsr at 0x3a4d0, patched
found wrmsr at 0x40606, patched
found wrmsr at 0x406d0, patched
Looks correct.