Does a processor always reload CR3 when a VMEXIT occurs?

Solution

Assuming you are talking about virtualization using Intel VMX technology, then yes. See section 27.5.1 of the Intel SDM.

Does lock xchg have the same behavior as mfence?
How does CMPXCHG affect FLAGS register?
Why do the 32-bit and 64-bit Compiled Versions of this Program Populate Memory in this Way?
How to understand "The XX flag is undefined/clear/set" in x86 manual?
Intel x86 0x2E/0x3E Prefix Branch Prediction actually used?
What is the difference between a null terminated string and a string that is not terminated by null in x86 assembly language
How can I use gcc to compile x86 assembly code on an x64 computer
long double (GCC specific) and __float128
How stable is TSC (TimeStamp Counter) from user space for Intel x86-64 CPUs in 2020?
Relation between Avx512_fp16 and Avx512bw (on non-Intel machines)
Performance implications of long double. Why does C choose 64-bits instead of the hardware's 80-bit for its default?
AVX 512 intrinsics to add 512 bits of 128 bit elements
Assembly/gdb: add behavior
Why does my conversion from LBA to CHS not work?
Why does my data section appear twice in the compiled binary? Ubuntu, x86, nasm, gdb, readelf
Referencing the contents of a memory location. (x86 addressing modes)
System.BadImageFormatException: Could not load file or assembly (from installutil.exe)
How to detect if a binary number has a 0 in Decimal
What is the result of this Assembly program?
Assembly ADC (Add with carry) to C++
Instruction FYL2XP1
How are x86 instructions stored in memory?
Codemirror x86 assembly (Intel) syntax
How can I determine if a .NET assembly was built for x86 or x64?
How does an assembler find the offset of a label without knowing the value of the segment register?
What happens with the Frame Pointer in the Stack, if the Stack Pointer enters a second, nested function?
Which is a better write barrier on x86: lock+addl or xchgl?
GDB not setting breakpoint on desired line
InterlockedDecrement uses XADD but InterlockedIncrement uses INC?
What does JS do in Assembly x86?