On 14/04/20 10:38, Uros Bizjak wrote: > Will do, after the confirmation that the patch works for AMD hosts. Ok, I will test it (I found an AMD machine with EINJ support). In the meanwhile I queued the VMX part. > OTOH, the function is just a simple wrapper around do_machine_check, > so I was thinking to move it to a kvm_host.h header as a static > inline. This way, we could save a call to a wrapper function. Yes, that works too. Paolo
