2 ms·It is. Same ballpark as PTI on microbenchmarks, but a little better on macrobenchmarks.by bonzini 9y agoIt is. Same ballpark as PTI on microbenchmarks, but a little better on macrobenchmarks.