CPUSET_ALL
va, ctx, CPUSET_ALL);
vr, vs, ctx, CPUSET_ALL);
vr, ctx, CPUSET_ALL);
ctx, CPUSET_ALL);
(int)base, len, ctx, CPUSET_ALL);
VA_VREG(base), VA_VSEG(base), ctx, CPUSET_ALL);
VA_VREG(base), ctx, CPUSET_ALL);
cpuset = CPUSET_ALL & ~(1 << cpuinfo.ci_cpuid);
cpuset = CPUSET_ALL & ~(1 << cpuinfo.ci_cpuid);
pmap_kernel()->pm_cpuset = CPUSET_ALL;
SRMMU_TEINVALID, 1, 0, CPUSET_ALL);
SRMMU_TEINVALID, 1, 0, CPUSET_ALL);
XCALL0(sp_tlb_flush_all, CPUSET_ALL);
tlb_flush_page(va, 0, CPUSET_ALL);
XCALL0(*cpuinfo.pure_vcache_flush, CPUSET_ALL);
XCALL0(*cpuinfo.pure_vcache_flush, CPUSET_ALL);