smp_dcache_flush_page_cpuset
dcache_flush_page_cpuset = smp_dcache_flush_page_cpuset;
void smp_dcache_flush_page_cpuset(paddr_t, sparc64_cpuset_t);
#define dcache_flush_page_all(pa) smp_dcache_flush_page_cpuset(pa, cpus_active)
#define dcache_flush_page_cpuset(pa,cs) smp_dcache_flush_page_cpuset(pa, cs)
smp_dcache_flush_page_cpuset(pa, cpus_active);