Done with AMD64 VMM code