Subversion Repositories HelenOS-historic

Rev

Go to most recent revision | Hide changed files | Details | Compare with Previous | Blame | RSS feed

Filtering Options

Rev Age Author Path Log message Diff Changes
1376 6671 d 5 h jermar /kernel/trunk/ Change the way the framebuffer is mapped so that sparc64 is usable again.  
/kernel/trunk/genarch/src/fb/fb_map.c
/kernel/trunk/arch/sparc64/Makefile.inc
/kernel/trunk/arch/sparc64/src/console.c
/kernel/trunk/genarch/Makefile.inc
/kernel/trunk/genarch/include/fb/fb.h
/kernel/trunk/genarch/src/fb/fb.c
1371 6671 d 20 h decky /kernel/trunk/ unify the framebuffer API
use physical address as the base address for the framebuffer		  
/kernel/trunk/arch/ppc32/src/console.c
/kernel/trunk/arch/ia32/src/drivers/vesa.c
/kernel/trunk/arch/ppc32/Makefile.inc
/kernel/trunk/arch/ppc32/include/exception.h
/kernel/trunk/arch/ppc32/src/ppc32.c
/kernel/trunk/genarch/include/fb/fb.h
/kernel/trunk/genarch/src/fb/fb.c
1334 6675 d 10 h jermar /kernel/trunk/ Force mips32 frame buffer access to be always big endian.

Fix vmaxlma.c warning when building ia64.		  
/kernel/trunk/arch/mips32/Makefile.inc
/kernel/trunk/contrib/arch/ia64/vmaxlma.c
/kernel/trunk/genarch/src/fb/fb.c
1327 6676 d 3 h decky /kernel/trunk/ split framebuffer initialization and sysinfo registration  
/kernel/trunk/arch/ia32/src/drivers/vesa.c
/kernel/trunk/arch/ppc32/include/console.h
/kernel/trunk/arch/ppc32/src/console.c
/kernel/trunk/arch/ppc32/src/ppc32.c
/kernel/trunk/genarch/include/fb/fb.h
/kernel/trunk/genarch/src/fb/fb.c
/kernel/trunk/generic/include/syscall/syscall.h
1318 6676 d 22 h vana /kernel/trunk/ Sysinfo userspace interface  
/kernel/trunk/arch/ia32/src/drivers/vesa.c
/kernel/trunk/genarch/src/fb/fb.c
/kernel/trunk/generic/include/syscall/syscall.h
/kernel/trunk/generic/include/sysinfo/sysinfo.h
/kernel/trunk/generic/src/syscall/syscall.c
/kernel/trunk/generic/src/sysinfo/sysinfo.c
1317 6676 d 23 h vana /kernel/trunk/ System information tools  
/kernel/trunk/generic/include/sysinfo
/kernel/trunk/generic/include/sysinfo/sysinfo.h
/kernel/trunk/generic/src/sysinfo
/kernel/trunk/generic/src/sysinfo/sysinfo.c
/kernel/trunk/test/sysinfo
/kernel/trunk/test/sysinfo/test.c
/kernel/trunk/Makefile
/kernel/trunk/genarch/src/fb/fb.c
/kernel/trunk/kernel.config
1316 6677 d 1 h jermar /kernel/trunk/genarch/src/fb/ Forgotten in last commit... improve frame buffer speed by buffering blank line.  
/kernel/trunk/genarch/src/fb/fb.c
1313 6677 d 5 h jermar /kernel/trunk/ Do not report possible deadlock on fb_lock.
This issue was causing troubles in connection
with slow framebuffer in simulated environment
when false positives triggered an infinite
recursion of attempts to report deadlock on
fb_lock using printf() and fb_putchar().		  
/kernel/trunk/arch/ia32/src/drivers/vesa.c
/kernel/trunk/genarch/include/fb/fb.h
/kernel/trunk/generic/src/synch/spinlock.c
1312 6678 d 1 h palkovsky /kernel/trunk/genarch/src/fb/ Fixed incorrect tabulator in framebuffer (could write outside framebuffer
memory).		  
/kernel/trunk/genarch/src/fb/fb.c
1298 6683 d 2 h vana /kernel/trunk/ FB endian fix  
/kernel/trunk/arch/ppc32/include/byteorder.h
/kernel/trunk/arch/ppc64/include/byteorder.h
/kernel/trunk/genarch/src/fb/fb.c
1287 6685 d 8 h vana /kernel/trunk/ ia32 VESA FB support  
/kernel/trunk/arch/ia32/include/vesa.h
/kernel/trunk/arch/ia32/src/drivers/vesa.c
/kernel/trunk/Makefile
/kernel/trunk/arch/ia32/Makefile.inc
/kernel/trunk/arch/ia32/include/pm.h
/kernel/trunk/arch/ia32/src/boot/boot.S
/kernel/trunk/arch/ia32/src/ia32.c
/kernel/trunk/arch/ia32/src/pm.c
/kernel/trunk/genarch/src/fb/fb.c
/kernel/trunk/kernel.config
1266 6689 d 4 h jermar /kernel/trunk/genarch/ Rename acpi/matd.c to madt.c (Multiple APIC Description Table).
Improve Doxygen comments in genarch/.		  
/kernel/trunk/genarch/src/acpi/madt.c
/kernel/trunk/genarch/src/acpi/matd.c
/kernel/trunk/genarch/Makefile.inc
/kernel/trunk/genarch/src/acpi/acpi.c
/kernel/trunk/genarch/src/mm/as_ht.c
/kernel/trunk/genarch/src/mm/as_pt.c
/kernel/trunk/genarch/src/mm/asid.c
/kernel/trunk/genarch/src/mm/asid_fifo.c
/kernel/trunk/genarch/src/mm/page_ht.c
/kernel/trunk/genarch/src/mm/page_pt.c
1248 6693 d 1 h jermar /kernel/trunk/ Add some @file doxygen comments and improve already existing comments.  
/kernel/trunk/genarch/src/mm/page_ht.c
/kernel/trunk/genarch/src/mm/page_pt.c
/kernel/trunk/generic/src/adt/bitmap.c
/kernel/trunk/generic/src/adt/btree.c
/kernel/trunk/generic/src/adt/hash_table.c
/kernel/trunk/generic/src/adt/list.c
/kernel/trunk/generic/src/ddi/ddi.c
/kernel/trunk/generic/src/debug/symtab.c
/kernel/trunk/generic/src/ipc/sysipc.c
/kernel/trunk/generic/src/lib/elf.c
/kernel/trunk/generic/src/main/kinit.c
/kernel/trunk/generic/src/main/main.c
/kernel/trunk/generic/src/main/uinit.c
/kernel/trunk/generic/src/mm/as.c
/kernel/trunk/generic/src/mm/buddy.c
/kernel/trunk/generic/src/mm/frame.c
/kernel/trunk/generic/src/mm/page.c
/kernel/trunk/generic/src/mm/slab.c
/kernel/trunk/generic/src/mm/tlb.c
/kernel/trunk/generic/src/proc/scheduler.c
/kernel/trunk/generic/src/proc/task.c
/kernel/trunk/generic/src/proc/the.c
/kernel/trunk/generic/src/proc/thread.c
/kernel/trunk/generic/src/synch/condvar.c
/kernel/trunk/generic/src/synch/futex.c
/kernel/trunk/generic/src/synch/mutex.c
/kernel/trunk/generic/src/synch/rwlock.c
/kernel/trunk/generic/src/synch/semaphore.c
/kernel/trunk/generic/src/synch/waitq.c
1229 6696 d 5 h jermar /kernel/trunk/ Remove the outdated TODO file.
Improve doxygen comments here and there.		  
/kernel/trunk/doc/TODO
/kernel/trunk/genarch/src/mm/page_ht.c
/kernel/trunk/genarch/src/mm/page_pt.c
/kernel/trunk/generic/include/mm/buddy.h
/kernel/trunk/generic/src/debug/print.c
/kernel/trunk/generic/src/main/main.c
/kernel/trunk/generic/src/mm/buddy.c
/kernel/trunk/generic/src/mm/page.c
/kernel/trunk/generic/src/proc/scheduler.c
/kernel/trunk/generic/src/proc/task.c
/kernel/trunk/generic/src/synch/condvar.c
/kernel/trunk/generic/src/synch/futex.c
/kernel/trunk/generic/src/synch/mutex.c
/kernel/trunk/generic/src/synch/rwlock.c
/kernel/trunk/generic/src/synch/semaphore.c
/kernel/trunk/generic/src/synch/waitq.c
1196 6704 d 5 h cejka /kernel/trunk/ Printf ported back from uspace to kernel.
Printf calls changed to match new conventions.		  
/kernel/trunk/arch/amd64/src/debugger.c
/kernel/trunk/arch/amd64/src/interrupt.c
/kernel/trunk/arch/amd64/src/mm/memory_init.c
/kernel/trunk/arch/ia32/Makefile.inc
/kernel/trunk/arch/ia32/src/interrupt.c
/kernel/trunk/arch/ia32/src/mm/frame.c
/kernel/trunk/arch/ia32/src/mm/memory_init.c
/kernel/trunk/arch/ia32/src/smp/apic.c
/kernel/trunk/arch/ia64/src/interrupt.c
/kernel/trunk/arch/mips32/Makefile.inc
/kernel/trunk/arch/mips32/src/debugger.c
/kernel/trunk/arch/mips32/src/exception.c
/kernel/trunk/arch/mips32/src/mm/tlb.c
/kernel/trunk/arch/ppc32/Makefile.inc
/kernel/trunk/arch/ppc32/src/mm/memory_init.c
/kernel/trunk/arch/ppc64/src/mm/memory_init.c
/kernel/trunk/arch/sparc64/src/mm/tlb.c
/kernel/trunk/genarch/include/softint/division.h
/kernel/trunk/genarch/src/acpi/acpi.c
/kernel/trunk/genarch/src/acpi/matd.c
/kernel/trunk/genarch/src/i8042/i8042.c
/kernel/trunk/genarch/src/softint/division.c
/kernel/trunk/generic/include/print.h
/kernel/trunk/generic/src/adt/btree.c
/kernel/trunk/generic/src/console/cmd.c
/kernel/trunk/generic/src/debug/print.c
/kernel/trunk/generic/src/debug/symtab.c
/kernel/trunk/generic/src/interrupt/interrupt.c
/kernel/trunk/generic/src/lib/elf.c
/kernel/trunk/generic/src/main/kinit.c
/kernel/trunk/generic/src/main/main.c
/kernel/trunk/generic/src/main/uinit.c
/kernel/trunk/generic/src/mm/buddy.c
/kernel/trunk/generic/src/mm/frame.c
/kernel/trunk/generic/src/mm/slab.c
/kernel/trunk/generic/src/proc/scheduler.c
/kernel/trunk/generic/src/proc/task.c
/kernel/trunk/generic/src/proc/thread.c
/kernel/trunk/generic/src/time/clock.c
/kernel/trunk/generic/src/time/timeout.c
/kernel/trunk/test/fpu/fpu1/test.c
/kernel/trunk/test/mm/falloc1/test.c
/kernel/trunk/test/mm/falloc2/test.c
/kernel/trunk/test/mm/mapping1/test.c
/kernel/trunk/test/print/print1/test.c
/kernel/trunk/test/synch/rwlock4/test.c
/kernel/trunk/test/synch/rwlock5/test.c
1195 6706 d 3 h jermar /kernel/trunk/genarch/src/i8042/ Coding style changes for the last commit.  
/kernel/trunk/genarch/src/i8042/i8042.c
1194 6706 d 4 h vana /kernel/trunk/genarch/src/i8042/ Status testing version of clear-buffer routine for i8042  
/kernel/trunk/genarch/src/i8042/i8042.c
1193 6706 d 5 h vana /kernel/trunk/genarch/src/i8042/ i8042 buffer full problem fix  
/kernel/trunk/genarch/src/i8042/i8042.c
1135 6725 d 19 h decky /kernel/trunk/ framebuffer code cleanup, support for non-standard scanline sizes
ppc32: get framebuffer parameters from boot loader		  
/kernel/trunk/arch/mips32/src/console.c
/kernel/trunk/arch/ppc32/src/console.c
/kernel/trunk/arch/sparc64/src/console.c
/kernel/trunk/genarch/include/fb/fb.h
/kernel/trunk/genarch/src/fb/fb.c
1108 6728 d 20 h jermar /kernel/trunk/ Small PTE_* macros and SET_PTL0_ADDRESS macro changes.  
/kernel/trunk/arch/ia64/include/mm/page.h
/kernel/trunk/arch/sparc64/include/mm/page.h
/kernel/trunk/genarch/include/mm/page_ht.h
/kernel/trunk/genarch/include/mm/page_pt.h
/kernel/trunk/generic/src/mm/as.c
1059 6734 d 22 h jermar /kernel/trunk/ Clear user address space when creating new page tables.
Fix mapping of l_apic and io_apic on amd64.		  
/kernel/trunk/arch/ia32/src/smp/smp.c
/kernel/trunk/arch/ia64/Makefile.inc
/kernel/trunk/arch/ia64/src/ia64.c
/kernel/trunk/contrib/conf/ski.conf
/kernel/trunk/genarch/src/mm/as_pt.c
1044 6735 d 5 h jermar /kernel/trunk/ Page table locking.  
/kernel/trunk/arch/ia64/src/mm/tlb.c
/kernel/trunk/arch/mips32/src/mm/tlb.c
/kernel/trunk/genarch/src/mm/as_ht.c
/kernel/trunk/genarch/src/mm/as_pt.c
/kernel/trunk/genarch/src/mm/page_ht.c
/kernel/trunk/genarch/src/mm/page_pt.c
/kernel/trunk/generic/include/mm/as.h
/kernel/trunk/generic/include/mm/page.h
/kernel/trunk/generic/src/mm/as.c
/kernel/trunk/generic/src/mm/page.c
977 6737 d 4 h jermar /kernel/trunk/ Add sys_mremap() syscall.  
/kernel/trunk/arch/amd64/include/mm/page.h
/kernel/trunk/arch/ia32/include/mm/page.h
/kernel/trunk/arch/mips32/include/mm/page.h
/kernel/trunk/arch/ppc32/include/mm/page.h
/kernel/trunk/arch/ppc32/src/dummy.s
/kernel/trunk/arch/sparc64/include/mm/page.h
/kernel/trunk/arch/sparc64/include/types.h
/kernel/trunk/genarch/include/mm/page_ht.h
/kernel/trunk/genarch/include/mm/page_pt.h
/kernel/trunk/generic/include/mm/as.h
/kernel/trunk/generic/include/mm/page.h
/kernel/trunk/generic/include/syscall/syscall.h
/kernel/trunk/generic/src/mm/as.c
/kernel/trunk/generic/src/syscall/syscall.c
958 6737 d 22 h jermar /kernel/trunk/ Nicer ia32 interrupt handlers and structures holding interrupted context data.
Unify the name holding interrupted context data on all architectures to be istate.		  
/kernel/trunk/arch/amd64/include/context.h
/kernel/trunk/arch/amd64/include/interrupt.h
/kernel/trunk/arch/amd64/src/interrupt.c
/kernel/trunk/arch/ia32/include/interrupt.h
/kernel/trunk/arch/ia32/include/types.h
/kernel/trunk/arch/ia32/src/asm.S
/kernel/trunk/arch/ia32/src/drivers/i8254.c
/kernel/trunk/arch/ia32/src/drivers/i8259.c
/kernel/trunk/arch/ia32/src/ia32.c
/kernel/trunk/arch/ia32/src/interrupt.c
/kernel/trunk/arch/ia32/src/mm/page.c
/kernel/trunk/arch/ia32/src/pm.c
/kernel/trunk/arch/ia32/src/smp/apic.c
/kernel/trunk/arch/ia64/include/interrupt.h
/kernel/trunk/arch/ia64/include/mm/tlb.h
/kernel/trunk/arch/ia64/include/types.h
/kernel/trunk/arch/ia64/src/interrupt.c
/kernel/trunk/arch/ia64/src/mm/tlb.c
/kernel/trunk/arch/mips32/include/debugger.h
/kernel/trunk/arch/mips32/include/exception.h
/kernel/trunk/arch/mips32/include/mm/tlb.h
/kernel/trunk/arch/mips32/include/thread.h
/kernel/trunk/arch/mips32/src/debugger.c
/kernel/trunk/arch/mips32/src/drivers/arc.c
/kernel/trunk/arch/mips32/src/drivers/msim.c
/kernel/trunk/arch/mips32/src/drivers/serial.c
/kernel/trunk/arch/mips32/src/exception.c
/kernel/trunk/arch/mips32/src/fpu_context.c
/kernel/trunk/arch/mips32/src/interrupt.c
/kernel/trunk/arch/mips32/src/mm/tlb.c
/kernel/trunk/arch/sparc64/include/drivers/tick.h
/kernel/trunk/arch/sparc64/src/drivers/tick.c
/kernel/trunk/genarch/src/i8042/i8042.c
/kernel/trunk/generic/include/interrupt.h
/kernel/trunk/generic/include/typedefs.h
/kernel/trunk/generic/src/interrupt/interrupt.c
922 6741 d 20 h jermar /kernel/trunk/genarch/src/mm/ Fix generic page hash table to align down page addresses.
This was the ia64 userspace show stopper.		  
/kernel/trunk/genarch/src/mm/page_ht.c
902 6750 d 5 h jermar /kernel/trunk/ ia64 work.
More capable TLB miss handlers.
The ia64 kernel now passes mm/mapping1 test.

Fix generic hash table to properly initialize lists.

Change page_ht() to properly initialize inserted PTE's.
Change format of generic page hash table PTE's.		  
/kernel/trunk/arch/ia64/include/mm/tlb.h
/kernel/trunk/arch/ia64/src/mm/page.c
/kernel/trunk/arch/ia64/src/mm/tlb.c
/kernel/trunk/arch/ia64/src/proc/scheduler.c
/kernel/trunk/genarch/include/mm/page_ht.h
/kernel/trunk/genarch/src/mm/page_ht.c
/kernel/trunk/generic/src/adt/hash_table.c
896 6751 d 18 h jermar /kernel/trunk/genarch/src/fb/ Improve framebuffer speed by using optimised memcpy().  
/kernel/trunk/genarch/src/fb/fb.c
895 6751 d 22 h jermar /kernel/trunk/ sparc64 work.
Very raw and fragile preliminary standalone keyboard support - polling mode only.
Because of a workaround in Simics, the scan codes are the same as on ia32.		  
/kernel/trunk/arch/amd64/include/drivers/i8042.h
/kernel/trunk/arch/sparc64/include/drivers/i8042.h
/kernel/trunk/arch/amd64/include/i8042.h
/kernel/trunk/arch/sparc64/include/drivers/keyboard.h
/kernel/trunk/arch/sparc64/Makefile.inc
/kernel/trunk/arch/sparc64/include/console.h
/kernel/trunk/arch/sparc64/include/interrupt.h
/kernel/trunk/arch/sparc64/src/console.c
/kernel/trunk/arch/sparc64/src/mm/tlb.c
/kernel/trunk/arch/sparc64/src/sparc64.c
/kernel/trunk/arch/sparc64/src/start.S
/kernel/trunk/genarch/include/i8042/i8042.h
/kernel/trunk/genarch/src/i8042/i8042.c
894 6752 d 1 h jermar /kernel/trunk/ Move i8042 driver to genarch as it might be used by more architectures.  
/kernel/trunk/arch/amd64/include/drivers
/kernel/trunk/arch/ia32/include/drivers
/kernel/trunk/arch/ia32/include/drivers/i8042.h
/kernel/trunk/arch/sparc64/include/drivers/keyboard.h
/kernel/trunk/genarch/include/i8042
/kernel/trunk/genarch/include/i8042/i8042.h
/kernel/trunk/genarch/src/i8042
/kernel/trunk/genarch/src/i8042/i8042.c
/kernel/trunk/arch/ia32/include/i8042.h
/kernel/trunk/arch/ia32/src/drivers/i8042.c
/kernel/trunk/arch/amd64/Makefile.inc
/kernel/trunk/arch/amd64/src/amd64.c
/kernel/trunk/arch/ia32/Makefile.inc
/kernel/trunk/arch/ia32/src/ia32.c
/kernel/trunk/arch/sparc64/src/console.c
/kernel/trunk/arch/sparc64/src/mm/tlb.c
/kernel/trunk/genarch/Makefile.inc
891 6753 d 5 h palkovsky /kernel/trunk/genarch/src/fb/ Fixed getpixel_1byte to work with 3:2:3 color scheme.  
/kernel/trunk/genarch/src/fb/fb.c
886 6753 d 5 h jermar /kernel/trunk/genarch/src/fb/ Change putpixel1() to look better.  
/kernel/trunk/genarch/src/fb/fb.c
867 6757 d 3 h jermar /kernel/trunk/ Move OFW functionality of ppc32 memory_init to genarch so that the code can also be used by sparc64.
sparc64 is now close to broken as it lacks functionality to provide identity mapping for the whole phyisical memory.		  
/kernel/trunk/genarch/include/ofw/memory_init.h
/kernel/trunk/genarch/src/ofw/memory_init.c
/kernel/trunk/arch/ppc32/include/mm/memory_init.h
/kernel/trunk/arch/ppc32/src/mm/frame.c
/kernel/trunk/arch/ppc32/src/mm/memory_init.c
/kernel/trunk/arch/sparc64/Makefile.inc
/kernel/trunk/arch/sparc64/include/mm/memory_init.h
/kernel/trunk/arch/sparc64/include/trap/mmu.h
/kernel/trunk/arch/sparc64/src/mm/frame.c
/kernel/trunk/arch/sparc64/src/start.S
/kernel/trunk/arch/sparc64/src/trap/trap.c
/kernel/trunk/genarch/Makefile.inc
862 6758 d 0 h palkovsky /kernel/trunk/genarch/src/fb/ Added logo for framebuffer (simple bitmap)  
/kernel/trunk/genarch/src/fb/helenos.xbm
/kernel/trunk/genarch/src/fb/fb.c
839 6765 d 2 h palkovsky /kernel/trunk/genarch/src/fb/ Better structure for framebuffer.  
/kernel/trunk/genarch/src/fb/fb.c
838 6765 d 7 h palkovsky /kernel/trunk/ Added untested support for 2 & 4-byte (15-bit & 24-bit depth) framebuffer.  
/kernel/trunk/arch/mips32/src/console.c
/kernel/trunk/genarch/include/fb/fb.h
/kernel/trunk/genarch/src/fb/fb.c
837 6765 d 8 h palkovsky /kernel/trunk/ Moved framebuffer to genarch.  
/kernel/trunk/genarch/include/fb
/kernel/trunk/genarch/src/fb
/kernel/trunk/generic/include/fb
/kernel/trunk/generic/src/fb
/kernel/trunk/Makefile
/kernel/trunk/arch/mips32/src/console.c
/kernel/trunk/genarch/Makefile.inc
/kernel/trunk/genarch/src/fb/fb.c
/kernel/trunk/genarch/src/fb/font-8x16.c
832 6768 d 19 h jermar /kernel/trunk/ Change pt_mapping_remove() to deallocate frames for empty PTL1, PTL2 and PTL3.  
/kernel/trunk/arch/amd64/include/mm/page.h
/kernel/trunk/arch/ia32/include/mm/page.h
/kernel/trunk/arch/mips32/include/mm/page.h
/kernel/trunk/doc/TODO
/kernel/trunk/genarch/include/mm/page_pt.h
/kernel/trunk/genarch/src/mm/page_pt.c
831 6769 d 2 h jermar /kernel/trunk/ Make use of one unused bit in PTE formats of amd64, ia32 and mips32 to store 1 in valid mappings.
This helps to distinguish valid entries from not present entries with 0 content (i.e. not present
entries with PFN 0 and other bits cleared).		  
/kernel/trunk/arch/amd64/include/mm/page.h
/kernel/trunk/arch/ia32/include/mm/page.h
/kernel/trunk/arch/mips32/include/mm/page.h
/kernel/trunk/arch/mips32/include/mm/tlb.h
/kernel/trunk/arch/mips32/include/types.h
/kernel/trunk/arch/mips32/src/mm/tlb.c
/kernel/trunk/genarch/src/mm/asid_fifo.c
830 6769 d 4 h jermar /kernel/trunk/ Make ASID FIFO for mips32 be allocated statically.
Make ASID FIFO for sparc64 and ia64 be allocated dynamically.
Fix ia64 to call asid_fifo_init().
All three architectures now call asid_fifo_init() from as_arch_init().		  
/kernel/trunk/arch/ia64/src/mm/as.c
/kernel/trunk/arch/mips32/src/mm/as.c
/kernel/trunk/arch/mips32/src/mm/tlb.c
/kernel/trunk/arch/sparc64/src/mm/as.c
/kernel/trunk/arch/sparc64/src/mm/tlb.c
/kernel/trunk/genarch/src/mm/asid_fifo.c
/kernel/trunk/generic/include/adt/fifo.h
826 6769 d 20 h jermar /kernel/trunk/ Add page_mapping_remove().  
/kernel/trunk/genarch/src/mm/page_ht.c
/kernel/trunk/genarch/src/mm/page_pt.c
/kernel/trunk/generic/include/mm/page.h
/kernel/trunk/generic/src/mm/page.c