void FpgaSetupSsc(void);
void SetupSpi(int mode);
void FpgaSetupSscDma(uint8_t *buf, int len);
+void inline FpgaDisableSscDma(void){
+ AT91C_BASE_PDC_SSC->PDC_PTCR = AT91C_PDC_RXTDIS;
+}
+void inline FpgaEnableSscDma(void){
+ AT91C_BASE_PDC_SSC->PDC_PTCR = AT91C_PDC_RXTEN;
+}
void SetAdcMuxFor(uint32_t whichGpio);
// Definitions for the FPGA commands.
void iso14a_set_tracing(int enable);
void RAMFUNC SniffMifare(uint8_t param);
+/// epa.h
+void EPA_PACE_Collect_Nonce(UsbCommand * c, UsbCommand * ack);
+
// mifarecmd.h
void ReaderMifare(uint32_t parameter);
void MifareReadBlock(uint8_t arg0, uint8_t arg1, uint8_t arg2, uint8_t *data);