Symbol: PRIxPICLHDL
usr/src/cmd/picl/prtpicl/prtpicl.c
310
(void) printf(" (%" PRIxPICLHDL "H) ", *(picl_nodehdl_t *)vbuf);
usr/src/cmd/picl/prtpicl/prtpicl.c
475
(void) printf("%*s %s (%s, %" PRIxPICLHDL ")\n",