You may also be interested in this wiki page: <https://github.com/janestreet/magic-trace/wiki/Supported-pla...>

Intel PT has a bunch of rough edges that we've tried to paper over in magic-trace, but the gritty caveats are documented in the wiki.