Symbol: x86pi_get_serverid
usr/src/lib/fm/topo/modules/i86pc/x86pi/x86pi_impl.h
189
char *x86pi_get_serverid(topo_mod_t *);
usr/src/lib/fm/topo/modules/i86pc/x86pi/x86pi_subr.c
354
server = val = x86pi_get_serverid(mod);