> Maybe we could even make VSMP depend on PARAVIRT, to make it sure it is > completely a paravirt client. That's the right thing to do I think. Remove the existing ifdefs and hook vsmp in only using paravirt ops. -Andi