On 28/02/20 19:19, Oliver Upton wrote: > If we wanted to be absolutely certain that the extern labels used for > assertions about the guest RIP are correct, we may still want it. > Alternatively, I could rewrite the test such that the guest will > report the instruction boundary where it anticipates MTF whenever it > makes the vmcall to request the host turns on MTF. Right, but it's used only once, and as a function pointer at that, so there's only so much that the compiler can do to "optimize". Let's think about how to fix it if it breaks. Paolo
