100                         uint8_t                 pipe_id,
150             p_WI_info->pipe_id = (uint8_t)HCI_UNKNOWN_PIPE_ID;  in phHciNfc_WI_Init_Resources()
177         *ppipe_id =  p_wi_info->pipe_id  ;  in phHciNfc_WI_Get_PipeID()
210         p_WI_info->pipe_id = pipeID;  in phHciNfc_WI_Update_PipeInfo()
317                                     p_wi_info->pipe_id,(uint8_t)ANY_SET_PARAMETER);  in phHciNfc_WI_Configure_Default()
360                                             p_wiinfo->pipe_id,  in phHciNfc_WI_Get_Default()
409                                 p_wi_info->pipe_id, NXP_EVT_SE_SWITCH_MODE );  in phHciNfc_WI_Configure_Mode()
470             p_wi_info->pipe_id,(uint8_t)ANY_SET_PARAMETER);  in phHciNfc_WI_Configure_Notifications()
488                        uint8_t                  pipe_id,  in phHciNfc_Send_WI_Event()  argument
500         || ( pipe_id > PHHCINFC_MAX_PIPE)  in phHciNfc_Send_WI_Event()
501         ||(NULL == psHciContext->p_pipe_list[pipe_id])  in phHciNfc_Send_WI_Event()
511             psHciContext->p_pipe_list[pipe_id];  in phHciNfc_Send_WI_Event()
520                                     (uint8_t) pipe_id, HCP_MSG_TYPE_EVENT, event);  in phHciNfc_Send_WI_Event()