So, Paolo, just to be sure, when you said "the tracepoint on SVM could match the clgi/stgi region", did you mean they should be outside of this region (i.e., trace_kvm_enter() just before clgi() and trace_kvm_exit() after stgi())? Or vice versa?:-)