Symbol: NIUCFGHDL
usr/src/uts/sun4v/io/vnet_dds.c
721
if (hdl == NIUCFGHDL(warg->cookie)) {
usr/src/uts/sun4v/io/vnet_dds.c
814
reg.addr_hi = 0xc0000000 | NIUCFGHDL(cba->cookie);