vmm: allow vmm_getphysical to return a page held

This commit is contained in:
Matheus
2024-09-18 21:27:36 -03:00
parent 611f13b562
commit c76b37693b
6 changed files with 14 additions and 5 deletions
+2
View File
@@ -200,7 +200,9 @@ static char *args[] = {
#endif
#ifdef SYSCALL_LOGGING
static spinlock_t lock;
#endif
extern size_t freepagecount;
__attribute__((no_caller_saved_registers)) void arch_syscall_log(int syscall, uint64_t a1, uint64_t a2, uint64_t a3, uint64_t a4, uint64_t a5, uint64_t a6) {
#ifdef SYSCALL_LOGGING