If a VMEXIT occurs, the IP value needs to be current. This is the case with most instructions, except for CPUID and invlpg. Alex