PMAP_TLB_SHOOTDOWN_CPUSET_DECL
#define PMAP_TLB_SHOOTDOWN_CPUSET_DECL u_long shootset = 0;
#define PMAP_TLB_SHOOTDOWN_CPUSET_DECL /* nothing */