Thanks, was running to a client and didn't have time to check it out right away.

Hmm, turns out my Mac Pro does have VMX : machdep.cpu.features: FPU VME DE PSE TSC MSR PAE MCE CX8 APIC SEP MTRR PGE MCA CMOV PAT PSE36 CLFSH DS ACPI MMX FXSR SSE SSE2 SS HTT TM PBE SSE3 DTES64 MON DSCPL VMX EST TM2 SSSE3 CX16 TPR PDCM Maybe it's the EPT mentioned by @mrsteveman1