Symbol: vdds_release_range_prop
usr/src/uts/sun4v/io/vnet_dds.c
116
static void vdds_release_range_prop(dev_info_t *nexus_dip, uint64_t cookie);
usr/src/uts/sun4v/io/vnet_dds.c
680
vdds_release_range_prop(nexus_dip, cookie);