From 47ff33982ea3e8d84d3a1b7ddd48d90ed6e69f1b Mon Sep 17 00:00:00 2001 From: Matheus Date: Mon, 24 Apr 2023 22:17:59 -0300 Subject: [PATCH] vmm: export vmm_kernelctx --- kernel-src/include/kernel/vmm.h | 3 +++ 1 file changed, 3 insertions(+) diff --git a/kernel-src/include/kernel/vmm.h b/kernel-src/include/kernel/vmm.h index f92a7ffd..bd8ddff9 100644 --- a/kernel-src/include/kernel/vmm.h +++ b/kernel-src/include/kernel/vmm.h @@ -55,10 +55,13 @@ typedef struct { pagetableptr_t pagetable; } vmmcontext_t; +extern vmmcontext_t vmm_kernelctx; + void *vmm_map(void *addr, size_t size, int flags, mmuflags_t mmuflags, void *private); void vmm_unmap(void *addr, size_t size, int flags); bool vmm_pagefault(void *addr, bool user, int actions); vmmcontext_t *vmm_newcontext(); +void vmm_switchcontext(vmmcontext_t *ctx); void vmm_init(); #endif