> > No, if these instructions take a #VE then they were executed at CPL=0. > > MONITOR > > and MWAIT will #UD without VM-Exit->#VE. Same for WBINVD, s/#UD/#GP. > > Dare I ask about XSETBV?
XGETBV does not cause a #VE, it just works normally. The guest has full AVX capabilities. -Andi