#if defined(XEN)
pmap_tlb_shootnow();
#endif
does that need to be defined(XEN) || defined(SVS) now? (does lots of that need to be domU || SVS?)
#if defined(XEN)
pmap_tlb_shootnow();
#endif
does that need to be defined(XEN) || defined(SVS) now? (does lots of that need to be domU || SVS?)