efs-sdcard.h

00001 #ifndef __SDCARD_H__KJBBKS6O57__
00002 #define __SDCARD_H__KJBBKS6O57__
00003 
00004 #include <efs.h>
00005 #include <ls.h>
00006 #include <sys/process.h>
00007 
00008 PROCESS_NAME(sdcard_process);
00009 
00010 void
00011 efs_sdcard_init();
00012 
00013 FileSystem *
00014 efs_sdcard_get_fs();
00015 
00016 /* True if a card is ready to read or write */
00017 int
00018 sdcard_ready();
00019 
00020 extern process_event_t sdcard_inserted_event;
00021 
00022 extern process_event_t sdcard_removed_event;
00023 
00024 void
00025 sdcard_event_process(struct process *p);
00026 
00027 #endif /* __SDCARD_H__KJBBKS6O57__ */