diff --git a/src/kernel/boot/platform/bios_ia32/mmu.cpp b/src/kernel/boot/platform/bios_ia32/mmu.cpp
index 2de616b622..be3f1feafb 100644
--- a/src/kernel/boot/platform/bios_ia32/mmu.cpp
+++ b/src/kernel/boot/platform/bios_ia32/mmu.cpp
@@ -119,6 +119,10 @@ map_page(addr_t virtualAddress, addr_t physicalAddress, uint32 flags)
 	TRACE(("paddr 0x%lx @ index %ld\n", physicalAddress,
 		(virtualAddress % (B_PAGE_SIZE * 1024)) / B_PAGE_SIZE));
 	sPageTable[(virtualAddress % (B_PAGE_SIZE * 1024)) / B_PAGE_SIZE] = physicalAddress | flags;
+
+	asm volatile("invlpg (%0)" : : "r" (virtualAddress));
+		// should not be necessary (as we can't free memory yet),
+		// but it won't hurt either :)
 }
 
 
@@ -230,6 +234,19 @@ init_page_directory()
 //	#pragma mark -
 
 
+extern "C" addr_t
+mmu_map_physical_memory(addr_t physicalAddress, size_t size, uint32 flags)
+{
+	addr_t address = sNextVirtualAddress;
+
+	for (addr_t offset = 0; offset < size; offset += B_PAGE_SIZE) {
+		map_page(get_next_virtual_page(), physicalAddress + offset, flags);
+	}
+
+	return address;
+}
+
+
 extern "C" void *
 mmu_allocate(void *virtualAddress, size_t size)
 {
diff --git a/src/kernel/boot/platform/bios_ia32/mmu.h b/src/kernel/boot/platform/bios_ia32/mmu.h
index 919885b411..04baa2f6f0 100644
--- a/src/kernel/boot/platform/bios_ia32/mmu.h
+++ b/src/kernel/boot/platform/bios_ia32/mmu.h
@@ -15,6 +15,7 @@ extern "C" {
 
 extern void mmu_init(void);
 extern void mmu_init_for_kernel(void);
+extern addr_t mmu_map_physical_memory(addr_t physicalAddress, size_t size, uint32 flags);
 extern void *mmu_allocate(void *virtualAddress, size_t size);
 extern void mmu_free(void *virtualAddress, size_t size);