Interesting, I've been doing lots of searching and all I can find is forum or blog posts of unverified people, some saying that VT-d
is enabled, but most saying it is
not supported/enabled. In fact, if you look at the presentation by Russ Sevinsky that is referenced in your first link, it is specifically said that Apple hardware does
not support IOMMU [1]. So I really don't know what to think.
1: https://youtu.be/q0HthE3qDMw?t=415
edit: I finally came across the below link from Apple which does seem to imply that IOMMU VT-d is enabled on Macs that are 2012 and newer. On anything before that, though, and DMA attacks could own you. So uh.. don't run macbooks that are 6 years old, I guess.
https://developer.apple.com/library/content/documentation/Ha...