Symbol: vhcache_pi_remove
usr/src/uts/common/os/sunmdi.c
304
static void vhcache_pi_remove(mdi_vhci_config_t *,
usr/src/uts/common/os/sunmdi.c
3220
vhcache_pi_remove(vh->vh_config, MDI_PI(pip));