PMAP_CPUSET
tlb_flush_context(ctx, PMAP_CPUSET(pm));
PMAP_CPUSET(pm)));
0, pm->pm_ctxnum, PMAP_CPUSET(pm)));
PMAP_CPUSET(pm));
PMAP_CPUSET(pm));
pm->pm_ctx != NULL, pm->pm_ctxnum, PMAP_CPUSET(pm));
pm->pm_ctx != NULL, pm->pm_ctxnum, PMAP_CPUSET(pm));
PMAP_CPUSET(pm));
pm->pm_ctx != NULL, pm->pm_ctxnum, PMAP_CPUSET(pm));
pm->pm_ctxnum, PMAP_CPUSET(pm));
pm->pm_ctxnum, PMAP_CPUSET(pm));
1, pm->pm_ctxnum, PMAP_CPUSET(pm));