Avi Kivity wrote:> Later on we can use the dirty bit instead of writeable bit, except on> EPT. But let's start with your fix.> I'm doing it, will post it... :-)