Symbol: HVCOOKIE
usr/src/uts/sun4v/io/vnet_dds.c
1115
uint32_t hvcookie = HVCOOKIE(cookie);
usr/src/uts/sun4v/io/vnet_dds.c
1203
if (prp->child_hi == HVCOOKIE(cookie)) {
usr/src/uts/sun4v/io/vnet_dds.c
760
if (addr_hi == HVCOOKIE(warg->cookie)) {
usr/src/uts/sun4v/io/vnet_dds.c
935
if (vdds_hv_niu_vr_getinfo(HVCOOKIE(cba->cookie),
usr/src/uts/sun4v/io/vnet_dds.c
941
reg.addr_hi = HVCOOKIE(cba->cookie);
usr/src/uts/sun4v/io/vnet_dds.c
970
if (prp->child_hi == HVCOOKIE(cba->cookie)) {
usr/src/uts/sun4v/io/vnet_dds.c
992
prp->child_hi = HVCOOKIE(cba->cookie);