[Pcsclite-cvs-commit] Drivers/ccid/src parse.c,1.10,1.11 ifdhandler.c,1.35,1.36 ccid_usb.c,1.29,1.30 ccid_serial.c,1.21,1.22

[rousseau@haydn.debian.org]

Update of /cvsroot/pcsclite/Drivers/ccid/src
In directory haydn:/tmp/cvs-serv23444

Modified Files:
	parse.c ifdhandler.c ccid_usb.c ccid_serial.c 
Log Message:
mark unused arguments as /*@unused@*/ for splint


Index: parse.c
===================================================================
RCS file: /cvsroot/pcsclite/Drivers/ccid/src/parse.c,v
retrieving revision 1.10
retrieving revision 1.11
diff -u -d -r1.10 -r1.11
--- parse.c	17 May 2004 14:35:51 -0000	1.10
+++ parse.c	9 Jul 2004 13:21:43 -0000	1.11
@@ -44,7 +44,7 @@
  *					main
  *
  ****************************************************************************/
-int main(int argc, char *argv[])
+int main(/*@unused@*/ int argc, /*@unused@*/ char *argv[])
 {
 	status_t res;
 	int channel;

Index: ifdhandler.c
===================================================================
RCS file: /cvsroot/pcsclite/Drivers/ccid/src/ifdhandler.c,v
retrieving revision 1.35
retrieving revision 1.36
diff -u -d -r1.35 -r1.36
--- ifdhandler.c	9 Jul 2004 07:10:17 -0000	1.35
+++ ifdhandler.c	9 Jul 2004 13:21:43 -0000	1.36
@@ -288,7 +288,7 @@
 
 
 RESPONSECODE IFDHSetCapabilities(DWORD Lun, DWORD Tag,
-	DWORD Length, PUCHAR Value)
+	/*@unused@*/ DWORD Length, /*@unused@*/ PUCHAR Value)
 {
 	/*
 	 * This function should set the slot/card capabilities for a
@@ -718,7 +718,7 @@
 
 RESPONSECODE IFDHTransmitToICC(DWORD Lun, SCARD_IO_HEADER SendPci,
 	PUCHAR TxBuffer, DWORD TxLength,
-	PUCHAR RxBuffer, PDWORD RxLength, PSCARD_IO_HEADER RecvPci)
+	PUCHAR RxBuffer, PDWORD RxLength, /*@unused@*/ PSCARD_IO_HEADER RecvPci)
 {
 	/*
 	 * This function performs an APDU exchange with the card/slot

Index: ccid_usb.c
===================================================================
RCS file: /cvsroot/pcsclite/Drivers/ccid/src/ccid_usb.c,v
retrieving revision 1.29
retrieving revision 1.30
diff -u -d -r1.29 -r1.30
--- ccid_usb.c	9 Jul 2004 13:19:09 -0000	1.29
+++ ccid_usb.c	9 Jul 2004 13:21:43 -0000	1.30
@@ -96,7 +96,7 @@
  *					OpenUSB
  *
  ****************************************************************************/
-status_t OpenUSB(unsigned int lun, int Channel)
+status_t OpenUSB(unsigned int lun, /*@unused@*/ int Channel)
 {
 	return OpenUSBByName(lun, NULL);
 } /* OpenUSB */

Index: ccid_serial.c
===================================================================
RCS file: /cvsroot/pcsclite/Drivers/ccid/src/ccid_serial.c,v
retrieving revision 1.21
retrieving revision 1.22
diff -u -d -r1.21 -r1.22
--- ccid_serial.c	9 Jul 2004 08:40:15 -0000	1.21
+++ ccid_serial.c	9 Jul 2004 13:21:44 -0000	1.22
@@ -201,7 +201,8 @@
  *				ReadSerial: Receive bytes from the card reader
  *
  *****************************************************************************/
-status_t ReadSerial(unsigned int lun, unsigned int *length, unsigned char *buffer)
+status_t ReadSerial(unsigned int lun, /*@unused@*/ unsigned int *length,
+	unsigned char *buffer)
 {
 	unsigned char c;
 	int rv;