Subversion Repositories HelenOS-historic

Rev

Go to most recent revision | Hide changed files | Directory listing | RSS feed

Filtering Options

Rev Age Author Path Log message Diff Changes
1024 6679 d 19 h jermar /kernel/trunk/ Redefine semantics of unary atomic operations.
Add test to verify that an architecture understands the semantics correctly.
 
/kernel/trunk/test/atomic
/kernel/trunk/test/atomic/atomic1
/kernel/trunk/test/atomic/atomic1/test.c
/kernel/trunk/arch/amd64/include/atomic.h
/kernel/trunk/arch/ia32/include/atomic.h
/kernel/trunk/arch/ia64/include/atomic.h
/kernel/trunk/arch/mips32/include/atomic.h
/kernel/trunk/arch/ppc32/include/atomic.h
/kernel/trunk/arch/sparc64/include/atomic.h
/kernel/trunk/generic/src/syscall/syscall.c
/kernel/trunk/kernel.config
1023 6679 d 19 h vana /kernel/trunk/ Itanium FPU active context switch  
/kernel/trunk/arch/ia64/include/fpu_context.h
/kernel/trunk/arch/ia64/include/interrupt.h
/kernel/trunk/arch/ia64/include/register.h
/kernel/trunk/arch/ia64/src/dummy.s
/kernel/trunk/arch/ia64/src/fpu_context.c
/kernel/trunk/arch/ia64/src/interrupt.c
/kernel/trunk/arch/ia64/src/ivt.S
/kernel/trunk/kernel.config
/kernel/trunk/test/fpu/fpu1/test.c
993 6680 d 17 h jermar /kernel/trunk/arch/ia64/ Fix bug in switch to userspace on ia64: ensure start in bank 1.
Fix bug in tlb_invalidate_all() that cause interrupts to be unconditionally enabled.
Optimize context switching by discarding packed attribute of context structures.
 
/kernel/trunk/arch/ia64/include/context.h
/kernel/trunk/arch/ia64/include/interrupt.h
/kernel/trunk/arch/ia64/src/asm.S
/kernel/trunk/arch/ia64/src/fpu_context.c
/kernel/trunk/arch/ia64/src/ia64.c
/kernel/trunk/arch/ia64/src/ivt.S
/kernel/trunk/arch/ia64/src/mm/tlb.c
/kernel/trunk/arch/ia64/src/proc/scheduler.c
/kernel/trunk/arch/ia64/src/start.S
979 6680 d 23 h vana /kernel/trunk/arch/ia64/ Itanium FPU context save/restore  
/kernel/trunk/arch/ia64/include/fpu_context.h
/kernel/trunk/arch/ia64/include/types.h
/kernel/trunk/arch/ia64/src/fpu_context.c
/kernel/trunk/arch/ia64/src/ivt.S
967 6681 d 3 h palkovsky /kernel/trunk/ Allowed userspace to include page.h.  
/kernel/trunk/Makefile
/kernel/trunk/arch/amd64/include/mm/page.h
/kernel/trunk/arch/ia32/include/mm/frame.h
/kernel/trunk/arch/ia32/include/mm/page.h
/kernel/trunk/arch/ia64/include/mm/frame.h
/kernel/trunk/arch/ia64/include/mm/page.h
/kernel/trunk/arch/mips32/include/mm/frame.h
/kernel/trunk/arch/mips32/include/mm/page.h
/kernel/trunk/arch/ppc32/include/mm/frame.h
/kernel/trunk/arch/ppc32/include/mm/page.h
/kernel/trunk/arch/sparc64/include/mm/frame.h
/kernel/trunk/arch/sparc64/include/mm/page.h
962 6681 d 16 h jermar /kernel/trunk/arch/ia64/ ia64 work.
Support for __SYSCALL4.
Fix user stack initial address.
 
/kernel/trunk/arch/ia64/include/interrupt.h
/kernel/trunk/arch/ia64/src/ia64.c
/kernel/trunk/arch/ia64/src/interrupt.c
/kernel/trunk/arch/ia64/src/ivt.S
958 6681 d 18 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
955 6681 d 18 h palkovsky /kernel/trunk/ Added kernel IPC functionality.  
/kernel/trunk/generic/include/errno.h
/kernel/trunk/generic/include/ipc
/kernel/trunk/generic/include/ipc/ipc.h
/kernel/trunk/generic/src/ipc
/kernel/trunk/generic/src/ipc/ipc.c
/kernel/trunk/Makefile
/kernel/trunk/arch/amd64/include/types.h
/kernel/trunk/arch/amd64/src/asm_utils.S
/kernel/trunk/arch/amd64/src/syscall.c
/kernel/trunk/arch/ia32/include/types.h
/kernel/trunk/arch/ia32/src/interrupt.c
/kernel/trunk/arch/ia64/include/types.h
/kernel/trunk/arch/mips32/include/types.h
/kernel/trunk/arch/mips32/src/exception.c
/kernel/trunk/arch/sparc64/include/types.h
/kernel/trunk/generic/include/mm/page.h
/kernel/trunk/generic/include/proc/task.h
/kernel/trunk/generic/include/syscall/syscall.h
/kernel/trunk/generic/src/main/kinit.c
/kernel/trunk/generic/src/main/main.c
/kernel/trunk/generic/src/proc/task.c
/kernel/trunk/generic/src/syscall/syscall.c
947 6682 d 3 h vana /kernel/trunk/ Better purge page selection.  
/kernel/trunk/arch/ia64/src/mm/tlb.c
/kernel/trunk/test/mm/purge1/test.c
945 6682 d 16 h vana /kernel/trunk/arch/ia64/  
/kernel/trunk/arch/ia64/include/mm/memory_init.h
/kernel/trunk/arch/ia64/src/mm/tlb.c
944 6682 d 17 h vana /kernel/trunk/ Itanium tlb_invalidate_pages  
/kernel/trunk/arch/ia64/include/mm/frame.h
/kernel/trunk/arch/ia64/include/mm/memory_init.h
/kernel/trunk/arch/ia64/src/mm/tlb.c
/kernel/trunk/test/mm/purge1/test.c
940 6682 d 19 h jermar /kernel/trunk/ Get rid of unneeded macros.
Their functionality has been replaced by the ELF loader.
 
/kernel/trunk/arch/amd64/include/mm/as.h
/kernel/trunk/arch/ia32/include/mm/as.h
/kernel/trunk/arch/ia64/include/mm/as.h
/kernel/trunk/arch/mips32/include/mm/as.h
/kernel/trunk/arch/ppc32/include/mm/as.h
/kernel/trunk/arch/sparc64/include/mm/as.h
/kernel/trunk/arch/sparc64/include/types.h
/kernel/trunk/generic/include/mm/as.h
938 6682 d 19 h jermar /kernel/trunk/ Basic support for loading ELF object files.
ia64, amd64, ia32 working.
mips32 requires some attention.
 
/kernel/trunk/generic/src/lib/elf.c
/kernel/trunk/generic/include/elf32.h
/kernel/trunk/generic/include/elf64.h
/kernel/trunk/generic/src/lib/elf32.c
/kernel/trunk/generic/src/lib/elf64.c
/kernel/trunk/Makefile
/kernel/trunk/arch/amd64/Makefile.inc
/kernel/trunk/arch/amd64/_link.ld.in
/kernel/trunk/arch/amd64/include/elf.h
/kernel/trunk/arch/amd64/include/types.h
/kernel/trunk/arch/amd64/src/userspace.c
/kernel/trunk/arch/ia32/Makefile.inc
/kernel/trunk/arch/ia32/include/elf.h
/kernel/trunk/arch/ia32/include/types.h
/kernel/trunk/arch/ia32/src/userspace.c
/kernel/trunk/arch/ia64/Makefile.inc
/kernel/trunk/arch/ia64/include/elf.h
/kernel/trunk/arch/ia64/src/ia64.c
/kernel/trunk/arch/mips32/Makefile.inc
/kernel/trunk/arch/mips32/include/elf.h
/kernel/trunk/arch/mips32/src/mips32.c
/kernel/trunk/arch/ppc32/Makefile.inc
/kernel/trunk/arch/ppc32/include/elf.h
/kernel/trunk/arch/ppc32/include/types.h
/kernel/trunk/arch/sparc64/Makefile.inc
/kernel/trunk/arch/sparc64/include/elf.h
/kernel/trunk/contrib/conf/msim.conf
/kernel/trunk/contrib/conf/ski.conf
/kernel/trunk/contrib/conf/spmips.conf
/kernel/trunk/generic/include/elf.h
/kernel/trunk/generic/include/userspace.h
/kernel/trunk/generic/src/main/kinit.c
/kernel/trunk/generic/src/main/uinit.c
935 6682 d 20 h vana /kernel/trunk/ Two frame stack (standard stack + RSE) on Itanium  
/kernel/trunk/arch/ia64/include/mm/frame.h
/kernel/trunk/arch/ia64/src/mm/tlb.c
/kernel/trunk/arch/ia64/src/proc/scheduler.c
/kernel/trunk/generic/include/mm/frame.h
/kernel/trunk/generic/src/proc/thread.c
928 6683 d 0 h vana /kernel/trunk/ Itanium tlb_invalidate_all  
/kernel/trunk/test/mm/purge1
/kernel/trunk/test/mm/purge1/test.c
/kernel/trunk/arch/ia64/include/pal/pal.h
/kernel/trunk/arch/ia64/src/mm/tlb.c
/kernel/trunk/kernel.config
923 6683 d 13 h vana /kernel/trunk/arch/ia64/src/ paging_start counting fix on ia64  
/kernel/trunk/arch/ia64/src/start.S
921 6685 d 20 h jermar /kernel/trunk/arch/ia64/ ia64 work.
Userspace is now working.
There is an unrelated show stopper, however.
 
/kernel/trunk/arch/ia64/include/interrupt.h
/kernel/trunk/arch/ia64/src/interrupt.c
/kernel/trunk/arch/ia64/src/ivt.S
919 6686 d 1 h jermar /kernel/trunk/ ia64 work.
Changes to make userspace work (kernel part).
Use ski.conf from contrib directory to run Ski.

There is actually no appropriate syscall handler yet.
 
/kernel/trunk/arch/ia64/Makefile.inc
/kernel/trunk/arch/ia64/include/asm.h
/kernel/trunk/arch/ia64/include/context.h
/kernel/trunk/arch/ia64/include/mm/as.h
/kernel/trunk/arch/ia64/include/register.h
/kernel/trunk/arch/ia64/src/asm.S
/kernel/trunk/arch/ia64/src/dummy.s
/kernel/trunk/arch/ia64/src/ia64.c
/kernel/trunk/arch/ia64/src/ivt.S
/kernel/trunk/arch/ia64/src/mm/tlb.c
/kernel/trunk/arch/ia64/src/start.S
/kernel/trunk/contrib/conf/ski.conf
916 6688 d 3 h jermar /kernel/trunk/arch/ia64/src/ ia64 work.
Support switch from userspace register stack in heavyweight handler.
 
/kernel/trunk/arch/ia64/src/ivt.S
/kernel/trunk/arch/ia64/src/proc/scheduler.c
915 6688 d 3 h jermar /kernel/trunk/arch/ia64/ ia64 work.
- Another item had to be allocated on stack to remember new value written to ar.bspstore.
Fix heavyweight interruption handler to calculate RSC.loadrs from the new value of ar.bspstore
instead from the old one.
Uncomment instructions switching ar.bspstore.
- Configure kernel with 512M of memory.
 
/kernel/trunk/arch/ia64/include/interrupt.h
/kernel/trunk/arch/ia64/include/mm/memory_init.h
/kernel/trunk/arch/ia64/src/ivt.S
912 6689 d 17 h jermar /kernel/trunk/ ia64 work.

ivt.S:
Detect userspace stack in heavyweight handler and switch to kernel stack.
Remember the old stack pointer.
As for register stack, kernel stack is assumed still.
Fix alignment issues that showed when STACK_ITEMS was odd.
Fix ld8 instruction that did subtraction of 8 instead of addition of 8.

scheduler.c:
Change before_thread_runs_arch() to calculate address of top of the stack
for the interrupt handler.
 
/kernel/trunk/arch/ia64/include/interrupt.h
/kernel/trunk/arch/ia64/include/register.h
/kernel/trunk/arch/ia64/src/ivt.S
/kernel/trunk/arch/ia64/src/proc/scheduler.c
/kernel/trunk/doc/arch/ia64
911 6689 d 21 h jermar /kernel/trunk/arch/ia64/ ia64 work.

Change heavyweight interrupt handler to use bank 0 registers instead of AR.KR0 and AR.KR1.
This prevents userspace from the possibility to see what addresses are being used by kernel.

Store kernel stack address in bank 0 r23 instead of AR.KR7. Again, userspace will not be
able to read the address of its kernel stack.

Increase FRAME_SIZE to 64K as this is the first supported page size in which will fit
thread's combined register and memory stack. (RSE can write out as many as 16K.)
 
/kernel/trunk/arch/ia64/include/mm/frame.h
/kernel/trunk/arch/ia64/include/register.h
/kernel/trunk/arch/ia64/src/ivt.S
/kernel/trunk/arch/ia64/src/proc/scheduler.c
910 6690 d 0 h bondari /kernel/trunk/ ELF framework for all archs. SPARC V9 not tested to compile.  
/kernel/trunk/arch/amd64/include/elf.h
/kernel/trunk/arch/ia64/include/elf.h
/kernel/trunk/arch/mips32/include/elf.h
/kernel/trunk/arch/ppc32/include/elf.h
/kernel/trunk/arch/sparc64/include/elf.h
/kernel/trunk/generic/include/elf64.h
/kernel/trunk/generic/src/lib/elf64.c
/kernel/trunk/Makefile
/kernel/trunk/arch/ia32/include/elf.h
/kernel/trunk/generic/include/elf32.h
/kernel/trunk/generic/src/lib/elf32.c
904 6692 d 18 h jermar /kernel/trunk/arch/ia64/src/mm/ ia64 fix in page.c
== (comparison) was used istead of = (assignment).
 
/kernel/trunk/arch/ia64/src/mm/page.c
903 6692 d 20 h jermar /kernel/trunk/arch/ia64/ ia64 work.
Add code needed for running multiple address spaces and location of kernel stack
after switch from userspace.
 
/kernel/trunk/arch/ia64/include/mm/as.h
/kernel/trunk/arch/ia64/src/mm/as.c
/kernel/trunk/arch/ia64/src/proc/scheduler.c
902 6694 d 1 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
901 6694 d 3 h jermar /kernel/trunk/arch/ ia64 work.
Provide PA2KA(identity) mapping for kernel data references via Alternate Data TLB Fault handler.
Add before_thread_runs_arch() that maps kstack, if necessary.
Add easy to use dtlb_mapping_insert() for comfortable insertion of kernel data mappings.
 
/kernel/trunk/arch/ia64/src/proc
/kernel/trunk/arch/ia64/src/proc/scheduler.c
/kernel/trunk/arch/ia64/Makefile.inc
/kernel/trunk/arch/ia64/include/mm/asid.h
/kernel/trunk/arch/ia64/include/mm/page.h
/kernel/trunk/arch/ia64/include/mm/tlb.h
/kernel/trunk/arch/ia64/src/dummy.s
/kernel/trunk/arch/ia64/src/mm/page.c
/kernel/trunk/arch/ia64/src/mm/tlb.c
/kernel/trunk/arch/ia64/src/start.S
/kernel/trunk/arch/sparc64/include/mm/tlb.h
/kernel/trunk/arch/sparc64/src/proc/scheduler.c
900 6694 d 20 h jermar /kernel/trunk/arch/ia64/ ia64 work.
Proper TLB fault handlers' headers and prototypes.
PFN 0 needs no longer be marked unavailable to frame allocator.
 
/kernel/trunk/arch/ia64/include/mm/tlb.h
/kernel/trunk/arch/ia64/src/mm/frame.c
/kernel/trunk/arch/ia64/src/mm/tlb.c
899 6694 d 21 h jermar /kernel/trunk/arch/ ia64 work.
Add dummy TLB fault handlers.
Improve code reuse in arch/mm/tlb.c.
 
/kernel/trunk/arch/ia64/include/mm/tlb.h
/kernel/trunk/arch/ia64/src/ivt.S
/kernel/trunk/arch/ia64/src/mm/tlb.c
/kernel/trunk/arch/ppc32/src/console.c
897 6695 d 14 h jermar /kernel/trunk/ sparc64 work.
Fix KBD_VIRT_ADDRESS.
Call before_thread_runs() prior to the switch to the thread's stack. Add comment why this is crucial.
Add after_thread_ran() to the scheduler.
Add before_thread_runs_arch() and after_thread_ran_arch() for sparc64, mapping/demapping thread's kernel stack.
Add dummy after_thread_ran_arch() to all other architectures.
Add dtlb_insert_mapping() to promote code reuse.
 
/kernel/trunk/arch/sparc64/src/proc
/kernel/trunk/arch/sparc64/src/proc/scheduler.c
/kernel/trunk/arch/amd64/src/proc/scheduler.c
/kernel/trunk/arch/ia32/src/proc/scheduler.c
/kernel/trunk/arch/ia64/src/dummy.s
/kernel/trunk/arch/mips32/src/mips32.c
/kernel/trunk/arch/ppc32/src/dummy.s
/kernel/trunk/arch/sparc64/Makefile.inc
/kernel/trunk/arch/sparc64/include/drivers/i8042.h
/kernel/trunk/arch/sparc64/include/mm/tlb.h
/kernel/trunk/arch/sparc64/include/trap/exception.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/trap/exception.c
/kernel/trunk/arch/sparc64/src/trap/trap_table.S
/kernel/trunk/generic/include/proc/scheduler.h
/kernel/trunk/generic/src/proc/scheduler.c
893 6696 d 1 h jermar /kernel/trunk/arch/ sparc64 work.
Revive OFW console code and use it before the kernel switches to standalone console.

ia32 + ia64 cosmetic changes.
 
/kernel/trunk/arch/ia32/src/drivers/i8042.c
/kernel/trunk/arch/ia64/src/ski/ski.c
/kernel/trunk/arch/ia64/src/start.S
/kernel/trunk/arch/sparc64/include/console.h
/kernel/trunk/arch/sparc64/src/console.c
/kernel/trunk/arch/sparc64/src/sparc64.c
892 6696 d 21 h vana /kernel/trunk/ Itanium active keyboard  
/kernel/trunk/test/fault
/kernel/trunk/test/fault/fault1
/kernel/trunk/test/fault/fault1/test.c
/kernel/trunk/arch/ia64/src/ski/ski.c
/kernel/trunk/kernel.config
879 6697 d 18 h vana /kernel/trunk/arch/ia64/ Itanium kernel page extended to maximum (256M) repaired RR manipulation functions, paging setuping function and added some comments.  
/kernel/trunk/arch/ia64/include/mm/page.h
/kernel/trunk/arch/ia64/src/mm/page.c
/kernel/trunk/arch/ia64/src/start.S
872 6700 d 13 h vana /kernel/trunk/ Init stack base fix
Removing commented code
 
/kernel/trunk/arch/ia64/src/start.S
/kernel/trunk/contrib/arch/ia64/vmaxlma.c
871 6700 d 14 h vana /kernel/trunk/arch/ia64/include/ C version of Itanium FADDR()  
/kernel/trunk/arch/ia64/include/faddr.h
870 6700 d 14 h vana /kernel/trunk/arch/ia64/ Removed forgoten debug function and reverted my mistake  
/kernel/trunk/arch/ia64/include/mm/page.h
/kernel/trunk/arch/ia64/src/start.S
869 6700 d 14 h vana /kernel/trunk/ Uaaaaaaa ;-) Itanium Paging !!!!!! ;-)  
/kernel/trunk/arch/ia64/_link.ld.in
/kernel/trunk/arch/ia64/include/faddr.h
/kernel/trunk/arch/ia64/include/mm/asid.h
/kernel/trunk/arch/ia64/include/mm/page.h
/kernel/trunk/arch/ia64/include/register.h
/kernel/trunk/arch/ia64/src/mm/page.c
/kernel/trunk/arch/ia64/src/start.S
/kernel/trunk/contrib/arch/ia64/vmaxlma.c
/kernel/trunk/generic/include/mm/asid.h
840 6708 d 0 h jermar /kernel/trunk/ Fix filling of hardcoded_ktext_size and hardcoded_kdata_size to use 64 bit stores on ia64.  
/kernel/trunk/arch/ia64/src/start.S
/kernel/trunk/generic/src/mm/as.c
830 6712 d 23 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
823 6714 d 14 h jermar /kernel/trunk/ Reimplement ASID stealing logic.
This time, hopefully, with correct synchronization.
 
/kernel/trunk/arch/ia32/include/mm/asid.h
/kernel/trunk/arch/ia64/src/mm/frame.c
/kernel/trunk/arch/ppc32/include/mm/asid.h
/kernel/trunk/arch/sparc64/src/mm/frame.c
/kernel/trunk/genarch/src/mm/asid.c
/kernel/trunk/genarch/src/mm/page_ht.c
/kernel/trunk/generic/include/mm/as.h
/kernel/trunk/generic/include/mm/asid.h
/kernel/trunk/generic/src/mm/as.c
/kernel/trunk/generic/src/proc/scheduler.c