From 4699055cee4825a8ac1b4aeec248f4fe10b6ddad Mon Sep 17 00:00:00 2001 From: Matheus Date: Thu, 2 Jul 2026 21:49:41 -0300 Subject: [PATCH] kernel: remove unused header --- kernel-src/include/kernel/pgcache.h | 8 -------- 1 file changed, 8 deletions(-) delete mode 100644 kernel-src/include/kernel/pgcache.h 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