secc
/
l4ka-pistachio
mirror of https://github.com/l4ka/pistachio.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

Fixed double-allocation of page for UTCB pointers. Thanks to M. Kroll

This commit is contained in:
Philipp Kupferschmied 2009-02-23 10:01:35 +01:00
parent 372c86ac62
commit 8220bfaf0b
1 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
kernel/src/glue/v4-x86/space.cc
View File

@ -706,11 +706,6 @@ void SECTION(".init.memory") space_t::init_kernel_mappings()
* each processor gets a full cache line to avoid bouncing
* page is user-writable and global
*/
EXTERN_KMEM_GROUP(kmem_misc);
add_mapping((addr_t)UTCB_MAPPING,
virt_to_phys(kmem.alloc(kmem_misc, X86_PAGE_SIZE)),
pgent_t::size_4k, true, false, true);
EXTERN_KMEM_GROUP(kmem_misc);
utcb_page = kmem.alloc(kmem_misc, X86_PAGE_SIZE);
ASSERT(utcb_page);