#include <stdint.h> // uintX_t
#include <inttypes.h>
+#include "simstruc.h"
/* Hardware specific */
/* BAR0 */
[AD7] = ADDATA7_reg,
};
-extern void print_8bin(int nr);
-
static inline int16_t mf624_read16(void *ptr)
{
return *(volatile uint16_t*)ptr;
extern double ADC_read(mf624_state_t* mfst, adc_channel_t channel);
-extern int open_device(char* path);
-
-extern void wait_for_interrupts(int device_fd);
-
-extern int disable_interrupts(int device_fd);
-
-extern int enable_interrupts(int device_fd);
-
-extern void list_available_mem_regions(char* device);
-
-extern void list_available_io_ports(char *device);
-
-extern int mmap_regions(mf624_state_t* mfst);
+int mf624_init(SimStruct *S);
+int mf624_check(SimStruct *S);
+int mf624_done();
#endif