(Hyper-V) Guest should use the Hypercall API for local TLB flushes rather than INVLPG/MOV CR3
See Implementation
(Hyper-V) Guest should use the Hypercall API for local TLB flushes rather than INVLPG/MOV CR3