Searched refs:x86pi_get_serverid (Results 1 - 2 of 2) sorted by relevance

/osnet-11/usr/src/lib/fm/topo/modules/i86pc/x86pi/common/
H A Dx86pi_impl.h204 char *x86pi_get_serverid(topo_mod_t *);
H A Dx86pi_subr.c94 x86pi_get_serverid(topo_mod_t *mod) function
99 topo_mod_dprintf(mod, "x86pi_get_serverid\n");
106 topo_mod_dprintf(mod, "x86pi_get_serverid: hostname = %s\n", hostname);

Completed in 22 milliseconds