efs-sdcard.h

#ifndef SDCARD_H_KJBBKS6O57__
#define SDCARD_H_KJBBKS6O57__
 
#include <efs.h>
#include <ls.h>
#include <sys/process.h>
 
PROCESS_NAME(sdcard_process);
 
void
efs_sdcard_init();
 
FileSystem *
efs_sdcard_get_fs();
 
/* True if a card is ready to read or write */
int
sdcard_ready();
 
extern process_event_t sdcard_inserted_event;
 
extern process_event_t sdcard_removed_event;
 
void
sdcard_event_process(struct process *p);
 
#endif /* SDCARD_H_KJBBKS6O57__ */