IBNEX_MAX_NODEADDR_SZ
(void) snprintf(name, IBNEX_MAX_NODEADDR_SZ, "%x,0,%s",
(void) snprintf(name, IBNEX_MAX_NODEADDR_SZ, "%x,%x,%s",
(void) snprintf(name, IBNEX_MAX_NODEADDR_SZ, "%x,0,%s",
(void) snprintf(name, IBNEX_MAX_NODEADDR_SZ, "%llX,%llX",
IBNEX_MAX_NODEADDR_SZ, pseudo->pseudo_unit_addr);
(void) snprintf(device_name, (IBNEX_MAX_NODEADDR_SZ + 4),