Symbol: sun4v_display_cpus
usr/src/lib/libprtdiag/common/display_sun4v.c
892
sun4v_display_cpus);
usr/src/lib/libprtdiag/inc/display_sun4v.h
46
int sun4v_display_cpus(picl_nodehdl_t cpuh, void* args);