mm: expose vmmPageStatus() and sbrk()

Author: jewelcodes

src/include/kernel/memory.h

@@ -11,6 +11,7 @@
 #include <stdint.h>
 #include <stdbool.h>
 #include <kernel/boot.h>
+#include <kernel/sched.h>
 
 /* this must be defined on a platform-specific basis */
 /* it defines the page size and other necessary attributes for paging */
@@ -64,3 +65,5 @@ uintptr_t vmmAllocate(uintptr_t, uintptr_t, size_t, int);
 int vmmFree(uintptr_t, size_t);
 int vmmPageFault(uintptr_t, int);       // the platform-specific page fault handler must call this
 uintptr_t vmmMMIO(uintptr_t, bool);
+int vmmPageStatus(uintptr_t, uintptr_t *);
+void *sbrk(Thread *, intptr_t);