Il 13/11/2013 03:27, Richard Henderson ha scritto: > I think it's also worthwhile to implement the kvm api in kvm-stub.c, > unnecessary or not. If you really want compile-time feedback on those that > ought to have been removed by optimization, you could elide them from the stub > file depending on ifndef __OPTIMIZE__.
Good idea. Peter, can you do that? Paolo