diff --git a/kernel-src/include/kernel/pgcache.h b/kernel-src/include/kernel/pgcache.h
deleted file mode 100644
index 00fc7c76..00000000
--- a/kernel-src/include/kernel/pgcache.h
+++ /dev/null
@@ -1,8 +0,0 @@
-#ifndef _PGCACHE_H
-#define _PGCACHE_H
-
-void pgcache_init();
-int pgcache_getpage(vnode_t *node, uintmax_t offset, void **ret);
-int pgcache_setdirty(void *addr);
-
-#endif