(Hyper-V) Guest should use the Hypercall API for address space switches rather than MOV CR3
See Implementation
(Hyper-V) Guest should use the Hypercall API for address space switches rather than MOV CR3