/* Reads the ST25DV ITtime duration for the GPO pulses.  */
int32_t BSP_NFCTAG_ReadITPulse(uint32_t Instance, ST25DV_PULSE_DURATION *const pITtime)
/* Reads the ST25DV ITtime duration for the GPO pulses.  */
int32_t BSP_NFCTAG_ReadITPulse(uint32_t Instance, ST25DV_PULSE_DURATION *const pITtime)
{
  UNUSED(Instance);
  return ST25DV_ReadITPulse(&NfcTagObj, pITtime);
}