We may have to deal with ASID rollover situations from the head
domain, switching contexts. This makes regular IPIs via
smp_call_function() unusable from such context. Use I-pipe's VNMI
mechanism instead.