pmap_invalidate_cpu_mask
CPU_COPY(pmap_invalidate_cpu_mask(pmap), &mask);
CPU_COPY(pmap_invalidate_cpu_mask(pmap), &tmp_mask);