1 files changed, 0 insertions, 21 deletions
diff --git a/halts.h b/halts.h
deleted file mode 100644
index bd71673..0000000
--- a/halts.h
+++ /dev/null
@@ -1,21 +0,0 @@
-#ifndef HALTS_H
-#define HALTS_H
-#include <fs/vfs.h>
-#include <stdint.h>
-
-typedef struct {
-  uint8_t *ptr;
-  uint8_t active;
-} halt_t;
-
-int create_read_fdhalt(vfs_fd_t *fd);
-int create_read_inode_halt(vfs_inode_t *inode);
-void unset_read_fdhalt(int i);
-int create_write_fdhalt(vfs_fd_t *fd);
-int create_write_inode_halt(vfs_inode_t *inode);
-void unset_write_fdhalt(int i);
-int create_disconnect_fdhalt(vfs_fd_t *fd);
-void unset_disconnect_fdhalt(int i);
-int isset_fdhalt(vfs_inode_t *read_halts[], vfs_inode_t *write_halts[],
-                 vfs_inode_t *disconnect_halts[]);
-#endif