A hypervisor developer claimed that, even though they only support paravirtualized guests, the virtualization would still be faster on a platform with hardware virtualization extensions.
Does this make sense? And through which mechanism could there even be a performance gain?