sparc64_cpuset_t
void sparc64_multicast_ipi(sparc64_cpuset_t, ipifunc_t, uint64_t, uint64_t);
extern volatile sparc64_cpuset_t cpus_active;
#define CPUSET_SINGLE(cpu) ((sparc64_cpuset_t)1 << (cpu))
#define CPUSET_EMPTY(set) ((set) == (sparc64_cpuset_t)0)
#define CPUSET_CLEAR(set) ((set) = (sparc64_cpuset_t)0)
int mp_cpu_is_paused (sparc64_cpuset_t);
sp_dcache_flush_page_cpuset(paddr_t pa, sparc64_cpuset_t cs)
void (*dcache_flush_page_cpuset)(paddr_t, sparc64_cpuset_t) =
extern void (*dcache_flush_page_cpuset)(paddr_t, sparc64_cpuset_t);
void smp_dcache_flush_page_cpuset(paddr_t, sparc64_cpuset_t);
volatile sparc64_cpuset_t cpus_active;/* set of active cpus */
sparc64_multicast_ipi(sparc64_cpuset_t cpuset, ipifunc_t func, uint64_t arg1,
sparc64_ipi_wait(sparc64_cpuset_t volatile *cpus_watchset, sparc64_cpuset_t cpus_mask)
sparc64_cpuset_t cpumask, cpuset;
sparc64_cpuset_t cpuset;
sparc64_cpuset_t cpuset;
mp_cpu_is_paused(sparc64_cpuset_t cpunum)
sparc64_cpuset_t cpuset;
smp_dcache_flush_page_cpuset(paddr_t pa, sparc64_cpuset_t activecpus)
sparc64_ipi_error(const char *s, sparc64_cpuset_t cpus_succeeded,
sparc64_cpuset_t cpus_expected)
static volatile sparc64_cpuset_t cpus_halted;
static volatile sparc64_cpuset_t cpus_spinning;
static volatile sparc64_cpuset_t cpus_paused;
static volatile sparc64_cpuset_t cpus_resumed;
static int sparc64_ipi_wait(sparc64_cpuset_t volatile *, sparc64_cpuset_t);
static void sparc64_ipi_error(const char *, sparc64_cpuset_t, sparc64_cpuset_t);
sparc64_cpuset_t pmap_cpus_active;
sparc64_cpuset_t pmap_cpus_active;
pmap_free_page(paddr_t pa, sparc64_cpuset_t cs)
static void pmap_free_page(paddr_t, sparc64_cpuset_t);