Symbol: sfmmu_ctxdom_nctxs
usr/src/uts/sfmmu/vm/hat_sfmmu.h
600
extern uint_t sfmmu_ctxdom_nctxs(int);
usr/src/uts/sun4v/os/fillsysinfo.c
1421
if (info->mmu_nctxs < sfmmu_ctxdom_nctxs(idx))