On 08.03.2012, at 23:45, Christoffer Dall wrote: > Any comments on this one? While at it, how about you also add the PID? Otherwise it's pretty pointless to write information into the kernel log, as you still won't know which VM it origins from. Also, I don't like the long function name. How about something like vcpu_unimpl()? Alex
