#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?)