|
|
|
@ -77,6 +77,10 @@ int gpg_io_fetch(unsigned char* buffer, int len) ;
|
|
|
|
|
|
|
|
|
|
int gpg_io_do(unsigned int io_flags) ;
|
|
|
|
|
|
|
|
|
|
/* ----------------------------------------------------------------------- */
|
|
|
|
|
/* --- TMP ---- */
|
|
|
|
|
/* ----------------------------------------------------------------------- */
|
|
|
|
|
void io_usb_ccid_set_card_inserted(unsigned int inserted);
|
|
|
|
|
|
|
|
|
|
/* ----------------------------------------------------------------------- */
|
|
|
|
|
/* --- DEBUG ---- */
|
|
|
|
|