IBNEX_PHCI_GUID_LEN
(void) snprintf(ioc->ioc_phci_guid, IBNEX_PHCI_GUID_LEN,
char ioc_phci_guid[IBNEX_PHCI_GUID_LEN];