From b2f8da62140b17d49c6cd35f32deb3d323e7b392 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Axel=20D=C3=B6rfler?= <axeld@pinc-software.de>
Date: Mon, 19 Apr 2004 01:56:36 +0000
Subject: [PATCH] Added prototype for the (currently unused)
 mmu_init_for_kernel() function.

git-svn-id: file:///srv/svn/repos/haiku/trunk/current@7239 a95241bf-73f2-0310-859d-f6bbb57e9c96
---
 src/kernel/boot/platform/bios_ia32/mmu.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/kernel/boot/platform/bios_ia32/mmu.h b/src/kernel/boot/platform/bios_ia32/mmu.h
index 9d24f7490d..919885b411 100644
--- a/src/kernel/boot/platform/bios_ia32/mmu.h
+++ b/src/kernel/boot/platform/bios_ia32/mmu.h
@@ -14,6 +14,7 @@ extern "C" {
 #endif
 
 extern void mmu_init(void);
+extern void mmu_init_for_kernel(void);
 extern void *mmu_allocate(void *virtualAddress, size_t size);
 extern void mmu_free(void *virtualAddress, size_t size);