pintos-os.org Git - pintos-anon/blob - src/filesys/filesys-stub.h

   1 #ifndef HEADER_FILESYS_STUB_H
   2 #define HEADER_FILESYS_STUB_H 1
   3
   4 void filesys_stub_send (const char *types, ...);
   5 void filesys_stub_receive (const char *types, ...);
   6
   7 #endif /* filesys-stub.h */