Symbol: sfmmu_ctxdoms_remove
usr/src/uts/sfmmu/vm/hat_sfmmu.h
603
extern void sfmmu_ctxdoms_remove(void);
usr/src/uts/sun4v/os/suspend.c
683
sfmmu_ctxdoms_remove();