pmap_shootdown_range_action
pmap_shootdown_range_action, &sr_arg);
void pmap_shootdown_range_action(void *);