Symbol: sfmmu_ctxdoms_update
usr/src/uts/sfmmu/vm/hat_sfmmu.h
606
extern void sfmmu_ctxdoms_update(void);
usr/src/uts/sun4v/os/suspend.c
704
sfmmu_ctxdoms_update();