From 858a52c06a4615bd58a6a906333f2ad707d41c0a Mon Sep 17 00:00:00 2001
From: Jon Santmyer <jon@jonsantmyer.com>
Date: Tue, 19 Aug 2025 15:04:04 -0400
Subject: usermode pager

---
 lib/libjove/include/jove.h | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'lib/libjove/include/jove.h')

diff --git a/lib/libjove/include/jove.h b/lib/libjove/include/jove.h
index 2efef3e..87eecb3 100644
--- a/lib/libjove/include/jove.h
+++ b/lib/libjove/include/jove.h
@@ -2,10 +2,15 @@
 #define _LIBJOVE_JOVE_H 1
 
 #include <stdint.h>
+#include <stddef.h>
 
 extern uintmax_t _syscall_message_box;
 extern void *_syscall_message_ptr;
 
+extern void *(*_jove_alloc)(size_t);
+extern void (*_jove_free)(void*);
+extern void *(*_jove_realloc)(void*, size_t);
+
 void libjove_init(uintmax_t box, void *boxptr);
 
 void jove_kprintf(const char *restrict fmt, ...);
-- 
cgit v1.2.1