# # ChangeLog for / in mainline # # Generated by Trac 1.6 # 2024-11-29T15:18:14Z Tue, 29 Jun 2010 21:03:01 GMT Jakub Jermar [c9eb31c2] * kernel/arch/ia32/src/interrupt.c (modified) Print all potentially interesting information about an ia32 trap ... Tue, 29 Jun 2010 20:19:09 GMT Jakub Jermar [6473d41] * kernel/arch/ia32/include/interrupt.h (modified) * kernel/arch/ia32/src/asm.S (modified) Alter the ia32 istate_t so that the stack trace printed upon a panic ... Tue, 29 Jun 2010 17:43:38 GMT Jakub Jermar [f56e897f] * kernel/arch/abs32le/include/atomic.h (modified) * kernel/arch/abs32le/include/interrupt.h (modified) * kernel/arch/abs32le/include/mm/page.h (modified) * kernel/arch/amd64/Makefile.inc (modified) * kernel/arch/amd64/_link.ld.in (modified) * kernel/arch/amd64/include/arch.h (modified) * kernel/arch/amd64/include/boot/boot.h (modified) * kernel/arch/amd64/include/context.h (modified) * kernel/arch/amd64/include/elf.h (modified) * kernel/arch/amd64/include/faddr.h (modified) * kernel/arch/amd64/include/interrupt.h (modified) * kernel/arch/amd64/include/mm/as.h (modified) * kernel/arch/amd64/include/mm/page.h (modified) * kernel/arch/amd64/include/mm/ptl.h (modified) * kernel/arch/amd64/include/mm/tlb.h (modified) * kernel/arch/amd64/include/pm.h (modified) * kernel/arch/amd64/include/proc/thread.h (modified) * kernel/arch/amd64/src/amd64.c (modified) * kernel/arch/amd64/src/asm_utils.S (modified) * kernel/arch/amd64/src/boot/boot.S (modified) * kernel/arch/amd64/src/context.S (modified) * kernel/arch/amd64/src/cpu/cpu.c (modified) * kernel/arch/amd64/src/debug/stacktrace.c (modified) * kernel/arch/amd64/src/delay.S (modified) * kernel/arch/amd64/src/fpu_context.c (modified) * kernel/arch/amd64/src/interrupt.c (modified) * kernel/arch/amd64/src/mm/page.c (modified) * kernel/arch/amd64/src/proc/scheduler.c (modified) * kernel/arch/amd64/src/proc/task.c (modified) * kernel/arch/amd64/src/proc/thread.c (modified) * kernel/arch/amd64/src/smp/ap.S (modified) * kernel/arch/ia32/include/bios/bios.h (modified) * kernel/arch/ia32/include/drivers/i8259.h (modified) * kernel/arch/ia32/include/fpu_context.h (modified) * kernel/arch/ia32/include/mm/asid.h (modified) * kernel/arch/ia32/include/smp/mps.h (modified) * kernel/arch/ia32/include/smp/smp.h (modified) * kernel/arch/ia32/src/bios/bios.c (modified) * kernel/arch/ia32/src/ia32.c (modified) * kernel/arch/ia32/src/mm/as.c (modified) * kernel/arch/ia32/src/mm/frame.c (modified) * kernel/arch/ia32/src/mm/tlb.c (modified) * kernel/arch/ia32/src/smp/mps.c (modified) * kernel/arch/ia32/src/smp/smp.c (modified) * kernel/arch/ppc32/src/mm/frame.c (modified) * kernel/arch/sparc64/src/mm/sun4u/frame.c (modified) * kernel/arch/sparc64/src/mm/sun4v/frame.c (modified) * kernel/genarch/include/acpi/acpi.h (modified) * kernel/genarch/include/acpi/madt.h (modified) * kernel/genarch/src/acpi/acpi.c (modified) * kernel/genarch/src/acpi/madt.c (modified) * kernel/generic/include/atomic.h (modified) * kernel/generic/include/config.h (modified) * kernel/generic/include/smp/ipi.h (modified) * kernel/generic/include/verify.h (modified) * kernel/generic/src/debug/symtab.c (modified) * kernel/generic/src/interrupt/interrupt.c (modified) * kernel/generic/src/ipc/sysipc.c (modified) * kernel/generic/src/main/kinit.c (modified) * kernel/generic/src/mm/frame.c (modified) * kernel/generic/src/mm/tlb.c (modified) * kernel/generic/src/proc/program.c (modified) * kernel/generic/src/smp/ipi.c (modified) * tools/checkers/vcc.h (added) * tools/checkers/vcc.py (modified) Merge mainlnie changes. Tue, 29 Jun 2010 15:38:52 GMT Martin Decky [793cf029] * kernel/genarch/src/acpi/acpi.c (modified) ACPI code cleanup Tue, 29 Jun 2010 15:38:08 GMT Martin Decky [c5da138] * kernel/genarch/src/acpi/acpi.c (modified) fix bug in configure_via_xsdt(): actually use XSDT, not RSDT Tue, 29 Jun 2010 15:29:53 GMT Martin Decky [fa3b8e4] * kernel/generic/src/ipc/sysipc.c (modified) * kernel/generic/src/proc/program.c (modified) LOG() adds newline already Tue, 29 Jun 2010 15:29:29 GMT Martin Decky [724d643] * kernel/genarch/include/acpi/acpi.h (modified) remove double semicollon Tue, 29 Jun 2010 14:58:38 GMT Martin Decky [c19aa612] * kernel/generic/src/debug/symtab.c (modified) Return "unknown" instead of "Not found". The capitalization and space ... Tue, 29 Jun 2010 00:08:48 GMT Martin Decky [fe32163] * kernel/arch/ia32/include/smp/smp.h (modified) * kernel/arch/ia32/src/smp/mps.c (modified) * kernel/arch/ia32/src/smp/smp.c (modified) * kernel/genarch/src/acpi/madt.c (modified) * kernel/generic/src/smp/ipi.c (modified) improve support for inactive CPUs major revision of MADT and MPS ... Tue, 29 Jun 2010 00:08:26 GMT Martin Decky [9a21f9d] * kernel/generic/include/config.h (modified) align comments Mon, 28 Jun 2010 23:58:20 GMT Martin Decky [49eb681] * kernel/arch/ia32/include/smp/mps.h (modified) * kernel/arch/ia32/src/ia32.c (modified) * kernel/genarch/include/acpi/acpi.h (modified) * kernel/genarch/include/acpi/madt.h (modified) * kernel/generic/include/smp/ipi.h (modified) * kernel/generic/src/main/kinit.c (modified) * kernel/generic/src/mm/tlb.c (modified) code cleanup (no change in functionality) Mon, 28 Jun 2010 22:45:51 GMT Jakub Jermar [e3038b4] * kernel/Makefile (modified) * kernel/arch/abs32le/src/abs32le.c (modified) * kernel/arch/amd64/include/interrupt.h (modified) * kernel/arch/amd64/include/types.h (modified) * kernel/arch/amd64/src/asm_utils.S (modified) * kernel/arch/amd64/src/interrupt.c (modified) * kernel/arch/amd64/src/mm/page.c (modified) * kernel/arch/arm32/Makefile.inc (modified) * kernel/arch/arm32/include/exception.h (modified) * kernel/arch/arm32/src/exc_handler.S (modified) * kernel/arch/arm32/src/exception.c (modified) * kernel/arch/arm32/src/mm/page.c (modified) * kernel/arch/arm32/src/mm/page_fault.c (modified) * kernel/arch/arm32/src/panic.S (deleted) * kernel/arch/ia32/Makefile.inc (modified) * kernel/arch/ia32/include/interrupt.h (modified) * kernel/arch/ia32/src/asm.S (modified) * kernel/arch/ia32/src/debug/panic.s (deleted) * kernel/arch/ia32/src/interrupt.c (modified) * kernel/arch/ia32/src/mm/page.c (modified) * kernel/arch/ia64/src/asm.S (modified) * kernel/arch/ia64/src/interrupt.c (modified) * kernel/arch/ia64/src/mm/tlb.c (modified) * kernel/arch/mips32/Makefile.inc (modified) * kernel/arch/mips32/src/exception.c (modified) * kernel/arch/mips32/src/mm/tlb.c (modified) * kernel/arch/mips32/src/panic.S (deleted) * kernel/arch/ppc32/Makefile.inc (modified) * kernel/arch/ppc32/include/types.h (modified) * kernel/arch/ppc32/src/debug/panic.s (deleted) * kernel/arch/ppc32/src/interrupt.c (modified) * kernel/arch/ppc32/src/mm/tlb.c (modified) * kernel/arch/sparc64/Makefile.inc (modified) * kernel/arch/sparc64/include/types.h (modified) * kernel/arch/sparc64/src/mm/sun4u/tlb.c (modified) * kernel/arch/sparc64/src/mm/sun4v/tlb.c (modified) * kernel/arch/sparc64/src/panic.S (deleted) * kernel/arch/sparc64/src/trap/exception.c (modified) * kernel/generic/include/debug.h (modified) * kernel/generic/include/interrupt.h (modified) * kernel/generic/include/panic.h (modified) * kernel/generic/src/debug/panic.c (added) * kernel/generic/src/debug/stacktrace.c (modified) Merge unified panic architecture (Phase 1). Note that this is still ... Mon, 28 Jun 2010 22:35:53 GMT Jakub Jermar [e4a4b44] * kernel/arch/ia64/src/asm.S (modified) * kernel/arch/mips32/Makefile.inc (modified) * kernel/arch/mips32/src/panic.S (deleted) * kernel/arch/ppc32/Makefile.inc (modified) * kernel/arch/ppc32/src/debug/panic.s (deleted) * kernel/arch/sparc64/Makefile.inc (modified) * kernel/arch/sparc64/src/panic.S (deleted) Remove left-over panic_printf()'s. Mon, 28 Jun 2010 22:33:08 GMT Jakub Jermar [4fe907b9] * kernel/arch/abs32le/src/abs32le.c (modified) Fix abs32le: remove panic_printf() and add istate_decode(). Mon, 28 Jun 2010 22:28:19 GMT Jakub Jermar [22a28a69] * kernel/arch/amd64/include/interrupt.h (modified) * kernel/arch/amd64/src/interrupt.c (modified) * kernel/arch/arm32/include/exception.h (modified) * kernel/arch/arm32/src/exception.c (modified) * kernel/arch/ia32/include/interrupt.h (modified) * kernel/arch/ia32/src/interrupt.c (modified) * kernel/arch/ia64/include/interrupt.h (modified) * kernel/arch/ia64/src/interrupt.c (modified) * kernel/arch/mips32/include/exception.h (modified) * kernel/arch/mips32/src/exception.c (modified) * kernel/arch/ppc32/include/exception.h (modified) * kernel/arch/ppc32/src/interrupt.c (modified) * kernel/arch/sparc64/include/interrupt.h (modified) * kernel/arch/sparc64/src/trap/exception.c (modified) * kernel/generic/include/interrupt.h (modified) * kernel/generic/src/debug/panic.c (modified) Rename decode_istate() to istate_decode() and declare it only once in ... Mon, 28 Jun 2010 21:42:28 GMT Jakub Jermar [7008097] * kernel/arch/sparc64/include/interrupt.h (modified) * kernel/arch/sparc64/src/mm/sun4u/tlb.c (modified) * kernel/arch/sparc64/src/mm/sun4v/tlb.c (modified) * kernel/arch/sparc64/src/trap/exception.c (modified) Switch sparc64 to use the unified panic architecture. Mon, 28 Jun 2010 20:32:07 GMT Martin Decky [05e3cb8] * kernel/generic/src/mm/tlb.c (modified) cstyle changes (no change in functionality) Mon, 28 Jun 2010 19:48:50 GMT Jakub Jermar [5b8016d] * kernel/arch/ppc32/include/exception.h (modified) * kernel/arch/ppc32/src/interrupt.c (modified) * kernel/arch/ppc32/src/mm/tlb.c (modified) Switch ppc32 to use the unified panic architecture. Untested as ppc32 ... Mon, 28 Jun 2010 19:40:03 GMT Jakub Jermar [7c31d20] * kernel/generic/src/debug/panic.c (modified) Check CPU before doing CPU->id. Mon, 28 Jun 2010 19:05:39 GMT Jakub Jermar [ac11ac7] * kernel/arch/mips32/include/exception.h (modified) * kernel/arch/mips32/src/exception.c (modified) * kernel/arch/mips32/src/mm/tlb.c (modified) Switch mips32 to use the unified panic architecture. No stack traces ... Mon, 28 Jun 2010 18:12:48 GMT Jakub Jermar [38e5675b] * kernel/arch/ia64/include/interrupt.h (modified) * kernel/arch/ia64/src/interrupt.c (modified) * kernel/arch/ia64/src/mm/tlb.c (modified) Switch ia64 to use the unified panic architecture. No stack traces so ... Sun, 27 Jun 2010 23:54:45 GMT Martin Decky [64f6ef04] * kernel/arch/amd64/include/interrupt.h (modified) * kernel/arch/amd64/src/boot/boot.S (modified) * kernel/arch/amd64/src/interrupt.c (modified) * kernel/arch/amd64/src/mm/page.c (modified) * kernel/arch/ia32/src/mm/frame.c (modified) amd64: create identity mapping of the first 8 GB of physical memory ... Sun, 27 Jun 2010 23:04:20 GMT Martin Decky [a1f60f3] * kernel/arch/amd64/Makefile.inc (modified) * kernel/arch/amd64/include/mm/as.h (modified) * kernel/arch/amd64/include/mm/page.h (modified) * kernel/arch/amd64/src/asm_utils.S (modified) * kernel/arch/amd64/src/boot/boot.S (modified) * kernel/arch/amd64/src/context.S (modified) * kernel/arch/amd64/src/fpu_context.c (modified) * kernel/arch/amd64/src/mm/page.c (modified) * kernel/arch/amd64/src/smp/ap.S (modified) move from "kernel" memory model to "large" memory model get rid of ... Sun, 27 Jun 2010 23:03:44 GMT Martin Decky [33dac7d] * kernel/arch/ia32/src/mm/frame.c (modified) improve printouts Sun, 27 Jun 2010 23:02:55 GMT Martin Decky [2ddcc7b] * kernel/arch/amd64/_link.ld.in (modified) * kernel/arch/amd64/include/arch.h (modified) * kernel/arch/amd64/include/boot/boot.h (modified) * kernel/arch/amd64/include/context.h (modified) * kernel/arch/amd64/include/elf.h (modified) * kernel/arch/amd64/include/faddr.h (modified) * kernel/arch/amd64/include/mm/ptl.h (modified) * kernel/arch/amd64/include/mm/tlb.h (modified) * kernel/arch/amd64/include/pm.h (modified) * kernel/arch/amd64/include/proc/thread.h (modified) * kernel/arch/amd64/src/amd64.c (modified) * kernel/arch/amd64/src/cpu/cpu.c (modified) * kernel/arch/amd64/src/debug/stacktrace.c (modified) * kernel/arch/amd64/src/delay.S (modified) * kernel/arch/amd64/src/proc/scheduler.c (modified) * kernel/arch/amd64/src/proc/task.c (modified) * kernel/arch/amd64/src/proc/thread.c (modified) * kernel/arch/ia32/include/bios/bios.h (modified) * kernel/arch/ia32/include/drivers/i8259.h (modified) * kernel/arch/ia32/include/fpu_context.h (modified) * kernel/arch/ia32/include/mm/asid.h (modified) * kernel/arch/ia32/src/bios/bios.c (modified) * kernel/arch/ia32/src/mm/as.c (modified) * kernel/arch/ia32/src/mm/tlb.c (modified) cstyle cleanup (no change in functionality) Sun, 27 Jun 2010 16:37:28 GMT Martin Decky [74c5a1ca] * kernel/generic/src/mm/frame.c (modified) compact printouts Sat, 26 Jun 2010 23:42:26 GMT Martin Decky [68667ce] * kernel/arch/ia32/src/mm/frame.c (modified) add physical memory workaround for amd64 Sat, 26 Jun 2010 23:00:54 GMT Martin Decky [720db0c] * kernel/arch/ia32/src/mm/frame.c (modified) * kernel/arch/ppc32/src/mm/frame.c (modified) * kernel/arch/sparc64/src/mm/sun4u/frame.c (modified) * kernel/arch/sparc64/src/mm/sun4v/frame.c (modified) fix erroneous resizing of physical zones (ticket #240) Sat, 26 Jun 2010 21:59:52 GMT Martin Decky [cae5404] * kernel/arch/ia32/src/mm/frame.c (modified) add simple temporary workaround (far from any proper solution) for ... Sat, 26 Jun 2010 21:42:59 GMT Martin Decky [decfbe56] * kernel/generic/src/interrupt/interrupt.c (modified) be paranoid and update exception statistics in a critical section ... Sat, 26 Jun 2010 12:00:12 GMT Jakub Jermar [62baed17] * kernel/arch/ia32/Makefile.inc (modified) * kernel/arch/ia32/src/asm.S (modified) * kernel/arch/ia32/src/debug/panic.s (deleted) * kernel/arch/ia32/src/interrupt.c (modified) * kernel/arch/ia32/src/mm/page.c (modified) Switch ia32 to use the unified panic architecture. Fri, 25 Jun 2010 14:49:42 GMT Martin Decky [fc81981] * kernel/arch/abs32le/include/interrupt.h (modified) * kernel/arch/abs32le/include/mm/page.h (modified) * kernel/generic/include/verify.h (modified) * tools/checkers/vcc.h (modified) add and improve annotations Fri, 25 Jun 2010 13:38:30 GMT Martin Decky [33c4f72] * kernel/arch/abs32le/include/atomic.h (modified) * kernel/generic/include/atomic.h (modified) * kernel/generic/include/verify.h (modified) * tools/checkers/vcc.h (added) * tools/checkers/vcc.py (modified) improve annotations move to the newest VCC syntax use VCC ... Fri, 25 Jun 2010 05:02:56 GMT Jakub Jermar [8e374ea7] * kernel/arch/arm32/Makefile.inc (modified) * kernel/arch/arm32/include/exception.h (modified) * kernel/arch/arm32/src/exc_handler.S (modified) * kernel/arch/arm32/src/exception.c (modified) * kernel/arch/arm32/src/mm/page.c (modified) * kernel/arch/arm32/src/mm/page_fault.c (modified) * kernel/arch/arm32/src/panic.S (deleted) Switch arm32 to use the unified panic architecture. Fri, 25 Jun 2010 04:23:47 GMT Jakub Jermar [a043e39] * kernel/arch/amd64/include/interrupt.h (modified) * kernel/arch/amd64/src/asm_utils.S (modified) * kernel/arch/amd64/src/interrupt.c (modified) * kernel/arch/amd64/src/mm/page.c (modified) Switch amd64 to use the unified panic architecture. Fri, 25 Jun 2010 04:22:36 GMT Jakub Jermar [06737a0] * kernel/Makefile (modified) * kernel/generic/include/debug.h (modified) * kernel/generic/include/panic.h (modified) * kernel/generic/src/debug/panic.c (added) Foundations for the unified panic architecture. Fri, 25 Jun 2010 04:14:42 GMT Jakub Jermar [5c8de00] * kernel/generic/src/debug/stacktrace.c (modified) Add missing include. Fri, 25 Jun 2010 00:37:41 GMT Jakub Jermar [2d03471] * kernel/arch/amd64/include/types.h (modified) * kernel/arch/ppc32/include/types.h (modified) * kernel/arch/sparc64/include/types.h (modified) Fix comments. Thu, 24 Jun 2010 13:00:16 GMT Martin Decky [09a0bd4a] * kernel/arch/abs32le/include/atomic.h (modified) * kernel/arch/abs32le/include/types.h (modified) * kernel/generic/include/atomic.h (modified) * kernel/generic/include/verify.h (added) * tools/checkers/vcc.py (modified) initial properties annotation and verification support (does not do ... Thu, 24 Jun 2010 12:04:34 GMT Martin Decky [e821e49] * boot/Makefile.empty (added) * boot/arch/abs32le/Makefile.inc (added) add empty boot infrastructure for abs32le Thu, 24 Jun 2010 11:31:03 GMT Martin Decky [172aad6] * uspace/app/top/screen.c (modified) * uspace/app/top/top.c (modified) * uspace/app/top/top.h (modified) add initial support for sorting the output of top Thu, 24 Jun 2010 11:30:09 GMT Martin Decky [549012c] * uspace/lib/c/Makefile (modified) * uspace/lib/c/generic/sort.c (added) * uspace/lib/c/include/sort.h (added) port sorting functions from kernel to libc Thu, 24 Jun 2010 09:56:58 GMT Martin Decky [ccb426c] * kernel/arch/amd64/src/debugger.c (modified) * kernel/arch/ia32/src/mm/frame.c (modified) * kernel/arch/mips32/src/debugger.c (modified) * kernel/arch/mips32/src/mm/frame.c (modified) * kernel/arch/mips32/src/mm/tlb.c (modified) * kernel/arch/ppc32/src/mm/frame.c (modified) * kernel/generic/src/mm/frame.c (modified) * kernel/generic/src/mm/slab.c (modified) improve other kernel printouts Thu, 24 Jun 2010 09:07:32 GMT Martin Decky [851f33a] * kernel/generic/src/console/cmd.c (modified) merge "tests" and "test" kconsole commands Tue, 22 Jun 2010 14:13:55 GMT Martin Decky [9539be6] * boot/genarch/src/multiplication.c (modified) * boot/generic/include/stdint.h (moved) * boot/generic/include/typedefs.h (modified) * kernel/generic/include/stdint.h (moved) * kernel/generic/include/typedefs.h (modified) * tools/autotool.py (modified) * uspace/lib/c/arch/abs32le/include/limits.h (deleted) * uspace/lib/c/arch/abs32le/include/types.h (modified) * uspace/lib/c/arch/amd64/include/types.h (modified) * uspace/lib/c/arch/arm32/include/limits.h (deleted) * uspace/lib/c/arch/arm32/include/types.h (modified) * uspace/lib/c/arch/ia32/include/limits.h (deleted) * uspace/lib/c/arch/ia32/include/types.h (modified) * uspace/lib/c/arch/ia64/include/types.h (modified) * uspace/lib/c/arch/mips32/include/limits.h (deleted) * uspace/lib/c/arch/mips32/include/types.h (modified) * uspace/lib/c/arch/mips32eb/include/limits.h (deleted) * uspace/lib/c/arch/ppc32/include/limits.h (deleted) * uspace/lib/c/arch/ppc32/include/types.h (modified) * uspace/lib/c/arch/sparc64/include/limits.h (deleted) * uspace/lib/c/arch/sparc64/include/types.h (modified) * uspace/lib/c/generic/str.c (modified) * uspace/lib/c/include/limits.h (deleted) * uspace/lib/c/include/stdint.h (modified) * uspace/lib/pci/types.h (modified) * uspace/lib/socket/generic/socket_client.c (modified) * uspace/lib/socket/generic/socket_core.c (modified) * uspace/lib/softfloat/generic/conversion.c (modified) * uspace/lib/softint/generic/multiplication.c (modified) * uspace/srv/fs/tmpfs/tmpfs_ops.c (modified) * uspace/srv/net/tl/icmp/icmp.c (modified) * uspace/srv/vfs/vfs_ops.c (modified) autotool now also detects values of UINT_MAX and friends Tue, 22 Jun 2010 12:19:45 GMT Jakub Jermar [402eda5] * kernel/genarch/src/mm/asid.c (modified) * kernel/generic/include/mm/tlb.h (modified) * kernel/generic/src/mm/as.c (modified) * kernel/generic/src/mm/tlb.c (modified) Fix a newly introduced deadlock in the TLB shootdown algorithm. Tue, 22 Jun 2010 11:35:06 GMT Jakub Jermar [a49a1a1] * kernel/generic/src/synch/futex.c (modified) Do not disable interrupts in sys_futex_wakeup(). Tue, 22 Jun 2010 11:29:40 GMT Jakub Jermar [ee42e43] * kernel/Makefile (modified) * kernel/generic/include/proc/task.h (modified) * kernel/generic/include/proc/thread.h (modified) * kernel/generic/include/synch/rwlock.h (deleted) * kernel/generic/src/proc/scheduler.c (modified) * kernel/generic/src/proc/thread.c (modified) * kernel/generic/src/synch/futex.c (modified) * kernel/generic/src/synch/rwlock.c (deleted) * kernel/test/synch/rwlock1.c (deleted) * kernel/test/synch/rwlock1.def (deleted) * kernel/test/synch/rwlock2.c (deleted) * kernel/test/synch/rwlock2.def (deleted) * kernel/test/synch/rwlock3.c (deleted) * kernel/test/synch/rwlock3.def (deleted) * kernel/test/synch/rwlock4.c (deleted) * kernel/test/synch/rwlock4.def (deleted) * kernel/test/synch/rwlock5.c (deleted) * kernel/test/synch/rwlock5.def (deleted) * kernel/test/test.c (modified) * kernel/test/test.h (modified) Retire kernel rwlocks. Tue, 22 Jun 2010 02:18:35 GMT Jakub Jermar [fdaad75d] * kernel/genarch/src/mm/as_pt.c (modified) * kernel/genarch/src/mm/page_ht.c (modified) * kernel/genarch/src/mm/page_pt.c (modified) * kernel/generic/src/mm/as.c (modified) * kernel/generic/src/mm/page.c (modified) * kernel/generic/src/mm/tlb.c (modified) * kernel/generic/src/synch/futex.c (modified) Do not disable interrupts unnecessarily. Tue, 22 Jun 2010 11:37:50 GMT Martin Decky [4ca26c9b] * tools/checkers/vcc.py (modified) improve support for Vcc, add basic source preprocessing (thx to ... Tue, 22 Jun 2010 11:34:00 GMT Martin Decky [6b80696] * kernel/arch/abs32le/include/mm/page.h (modified) be very specific about the immediate result type Sun, 20 Jun 2010 15:35:39 GMT Jiri Svoboda [66fcba2] * kernel/arch/arm32/include/mach/integratorcp/integratorcp.h (modified) * kernel/arch/arm32/include/mach/testarm/testarm.h (modified) * kernel/arch/arm32/include/machine_func.h (modified) * kernel/arch/arm32/src/arm32.c (modified) * kernel/arch/arm32/src/mach/integratorcp/integratorcp.c (modified) * kernel/arch/arm32/src/mach/testarm/testarm.c (modified) * kernel/arch/arm32/src/machine_func.c (modified) Do not decide which machine_ops to use at link time. Sun, 20 Jun 2010 15:08:35 GMT Jiri Svoboda [5ac77cc] * kernel/arch/arm32/src/exception.c (modified) * kernel/arch/arm32/src/interrupt.c (modified) * kernel/arch/arm32/src/mm/frame.c (modified) Remove more machine-dependent includes. Sun, 20 Jun 2010 15:01:07 GMT Jiri Svoboda [25c97174] * kernel/arch/arm32/include/machine_func.h (modified) * kernel/arch/arm32/src/machine_func.c (modified) Remove unused machine_genfunc(). Sun, 20 Jun 2010 14:52:40 GMT Jiri Svoboda [8ef40329] * kernel/arch/arm32/src/arm32.c (modified) No need to include machine-specific header. Thu, 17 Jun 2010 20:58:50 GMT Jakub Jermar [5387807] * boot/arch/ia64/Makefile.inc (modified) * boot/arch/ia64/src/asm.S (modified) * boot/arch/ia64/src/boot.S (modified) * kernel/arch/ia64/src/drivers/ski.c (modified) * kernel/arch/ia64/src/smp/smp.c (modified) * kernel/arch/ia64/src/start.S (modified) * uspace/srv/hid/fb/main.c (modified) Merge progress from the ia64-revival branch. Thu, 17 Jun 2010 20:58:05 GMT Jakub Jermar [3193c05] * kernel/arch/ia64/src/drivers/ski.c (modified) * uspace/srv/hid/fb/main.c (modified) Fix fb detection for Ski. Thu, 17 Jun 2010 19:42:27 GMT Jakub Jermar [0e54b4a] * boot/arch/ia64/Makefile.inc (modified) Include the i8042 driver in the ia64 RAM disk image. Thu, 17 Jun 2010 10:13:09 GMT Jakub Jermar [fae1647] * kernel/arch/ia64/src/start.S (modified) Use IP-relative instead of indirect branch to main_bsp(). Wed, 16 Jun 2010 19:44:53 GMT Martin Decky [d0c82c5] * kernel/generic/include/cpu.h (modified) * kernel/generic/include/sysinfo/abi.h (modified) * kernel/generic/src/cpu/cpu.c (modified) * kernel/generic/src/interrupt/interrupt.c (modified) * kernel/generic/src/proc/scheduler.c (modified) * kernel/generic/src/sysinfo/stats.c (modified) * kernel/generic/src/time/clock.c (modified) * uspace/app/tasks/tasks.c (modified) * uspace/app/top/screen.c (modified) * uspace/app/top/top.c (modified) perfect CPU cycles accounting, cherry-picked and adopted from ... Wed, 16 Jun 2010 19:43:55 GMT Martin Decky [5954241] * kernel/arch/ppc32/include/interrupt.h (modified) * kernel/arch/ppc32/include/mm/tlb.h (modified) * kernel/arch/ppc32/src/interrupt.c (modified) * kernel/arch/ppc32/src/mm/tlb.c (modified) fix exception handler prototypes Wed, 16 Jun 2010 16:30:27 GMT Martin Decky [d46f5cc] * kernel/arch/sparc64/include/drivers/tick.h (modified) * kernel/arch/sparc64/src/drivers/tick.c (modified) fix exception handler prototype Mon, 14 Jun 2010 22:58:20 GMT Jakub Jermar [e5c1186] * kernel/arch/ia64/src/smp/smp.c (modified) * kernel/arch/ia64/src/start.S (modified) Remove the poor man's support for SMP. Proper SMP support will be ... Mon, 14 Jun 2010 22:28:21 GMT Jakub Jermar [84d8837] * boot/arch/ia64/src/boot.S (modified) Use IP-relative instead of indirect branch. Mon, 14 Jun 2010 21:51:23 GMT Jiri Svoboda [2319df3] * kernel/generic/src/main/kinit.c (modified) Fix uninitialized field in error path. (Found by CSA). Mon, 14 Jun 2010 20:56:10 GMT Jakub Jermar [ba8d2987] * boot/arch/ia64/src/asm.S (modified) Fix indentation. Mon, 14 Jun 2010 20:12:16 GMT Jakub Jermar [6cb8dba] * boot/arch/ia64/src/boot.S (modified) Unify the comment style. Mon, 14 Jun 2010 16:49:05 GMT Martin Decky [96e7a94] * tools/checkers/howto.txt (added) add simple HOWTO Sun, 13 Jun 2010 22:53:22 GMT Jakub Jermar [5f1fffb] * boot/arch/ia64/Makefile.inc (added) * boot/arch/ia64/_link.ld.in (added) * boot/arch/ia64/include/arch.h (added) * boot/arch/ia64/include/asm.h (added) * boot/arch/ia64/include/main.h (added) * boot/arch/ia64/include/ski.h (added) * boot/arch/ia64/include/types.h (added) * boot/arch/ia64/src/asm.S (added) * boot/arch/ia64/src/boot.S (added) * boot/arch/ia64/src/main.c (added) * boot/arch/ia64/src/putchar.c (added) * boot/arch/ia64/src/ski.c (added) * kernel/arch/ia64/_link.ld.in (modified) * kernel/arch/ia64/include/bootinfo.h (modified) Merge progress from the ia64 revival branch. As of now, the ia64 ... Sun, 13 Jun 2010 22:52:35 GMT Jakub Jermar [0a925a8] * boot/arch/ia64/include/_components.h (deleted) * boot/arch/ia64/include/common.h (deleted) Remove two more accidentally committed generated files. Sun, 13 Jun 2010 22:48:15 GMT Jakub Jermar [66e39b8] * boot/arch/ia64/src/main.c (modified) Remove unneeded macros and fix printing of the loader entry point. Sun, 13 Jun 2010 22:21:51 GMT Jakub Jermar [4ff284b] * boot/arch/ia64/include/arch.h (modified) * kernel/arch/ia64/_link.ld.in (modified) Make a 4M space between the loader text and the inflate destination area. Sun, 13 Jun 2010 22:19:51 GMT Jakub Jermar [cfb729b0] * boot/arch/ia64/_link.ld (deleted) * boot/arch/ia64/src/_components.c (deleted) Remove accidentally committed generated files. Sun, 13 Jun 2010 21:56:16 GMT Jakub Jermar [807102ca] * boot/arch/ia64/Makefile.inc (added) * boot/arch/ia64/_link.ld (added) * boot/arch/ia64/_link.ld.in (added) * boot/arch/ia64/include/_components.h (added) * boot/arch/ia64/include/arch.h (added) * boot/arch/ia64/include/asm.h (added) * boot/arch/ia64/include/common.h (added) * boot/arch/ia64/include/main.h (added) * boot/arch/ia64/include/ski.h (added) * boot/arch/ia64/include/types.h (added) * boot/arch/ia64/src/_components.c (added) * boot/arch/ia64/src/asm.S (added) * boot/arch/ia64/src/boot.S (added) * boot/arch/ia64/src/main.c (added) * boot/arch/ia64/src/putchar.c (added) * boot/arch/ia64/src/ski.c (added) Revive the ia64's loader. At this stage, the ia64 port builds ... Sun, 13 Jun 2010 21:39:18 GMT Jakub Jermar [202dde5] * kernel/arch/ia64/include/bootinfo.h (modified) Remove loader stuff from the kernel header. Sun, 13 Jun 2010 10:28:35 GMT Jakub Jermar [510bc07] * kernel/Makefile (modified) Fix ordering of [AL]FLAGS initialization and arch Makefile.inc inclusion. Sat, 12 Jun 2010 09:37:54 GMT Martin Decky [1d6c497] * kernel/arch/amd64/include/cycle.h (modified) * kernel/arch/amd64/src/asm_utils.S (modified) amd64: fix wrong usage of rdtsc Sat, 12 Jun 2010 00:01:55 GMT Martin Decky [fd3a631f] * kernel/generic/src/sysinfo/stats.c (modified) Fix weird load average values. The fix has been addopted from ... Fri, 11 Jun 2010 23:56:16 GMT Martin Decky [b584cd4] * kernel/generic/src/interrupt/interrupt.c (modified) Update thread's last_cycle seems to be actually needed to properly ... Fri, 11 Jun 2010 16:07:21 GMT Martin Decky [214ec25c] * kernel/arch/abs32le/include/mm/page.h (modified) * kernel/arch/abs32le/src/mm/page.c (modified) * kernel/arch/amd64/include/interrupt.h (modified) * kernel/arch/amd64/include/mm/page.h (modified) * kernel/arch/amd64/src/debugger.c (modified) * kernel/arch/amd64/src/interrupt.c (modified) * kernel/arch/amd64/src/mm/page.c (modified) * kernel/arch/arm32/include/mach/integratorcp/integratorcp.h (modified) * kernel/arch/arm32/include/mach/testarm/testarm.h (modified) * kernel/arch/arm32/include/machine_func.h (modified) * kernel/arch/arm32/include/mm/page_fault.h (modified) * kernel/arch/arm32/src/exception.c (modified) * kernel/arch/arm32/src/mach/integratorcp/integratorcp.c (modified) * kernel/arch/arm32/src/mach/testarm/testarm.c (modified) * kernel/arch/arm32/src/machine_func.c (modified) * kernel/arch/arm32/src/mm/page_fault.c (modified) * kernel/arch/ia32/include/mm/page.h (modified) * kernel/arch/ia32/src/drivers/i8259.c (modified) * kernel/arch/ia32/src/interrupt.c (modified) * kernel/arch/ia32/src/mm/page.c (modified) * kernel/arch/ia32/src/smp/apic.c (modified) * kernel/arch/mips32/src/exception.c (modified) * kernel/arch/sparc64/src/trap/interrupt.c (modified) * kernel/generic/include/interrupt.h (modified) * kernel/generic/src/interrupt/interrupt.c (modified) use unsigned integers for exception and interrupt numbers Fri, 11 Jun 2010 15:31:03 GMT Martin Decky [b3b7e14a] * kernel/arch/amd64/src/debugger.c (modified) * kernel/arch/amd64/src/interrupt.c (modified) * kernel/arch/amd64/src/mm/page.c (modified) * kernel/arch/arm32/include/ras.h (modified) * kernel/arch/arm32/src/exc_handler.S (modified) * kernel/arch/arm32/src/exception.c (modified) * kernel/arch/arm32/src/ras.c (modified) * kernel/arch/ia32/src/drivers/i8259.c (modified) * kernel/arch/ia32/src/interrupt.c (modified) * kernel/arch/ia32/src/mm/page.c (modified) * kernel/arch/ia32/src/smp/apic.c (modified) * kernel/arch/mips32/src/exception.c (modified) * kernel/arch/ppc32/src/interrupt.c (modified) * kernel/arch/sparc64/include/sparc64.h (modified) * kernel/arch/sparc64/src/trap/interrupt.c (modified) * kernel/generic/include/console/console.h (modified) * kernel/generic/include/interrupt.h (modified) * kernel/generic/include/sysinfo/abi.h (modified) * kernel/generic/src/interrupt/interrupt.c (modified) * kernel/generic/src/sysinfo/stats.c (modified) * uspace/app/top/screen.c (modified) * uspace/app/top/top.c (modified) * uspace/app/top/top.h (modified) distinguish between "hot" and "cold" exceptions display only "hot" ... Fri, 11 Jun 2010 12:41:35 GMT Martin Decky [be06914] * kernel/genarch/include/drivers/pl050/pl050.h (modified) * kernel/generic/include/sysinfo/abi.h (modified) * kernel/generic/src/ipc/ipc.c (modified) * kernel/generic/src/proc/task.c (modified) * uspace/app/top/screen.c (modified) * uspace/app/top/top.c (modified) * uspace/app/top/top.h (modified) nicer top printouts fix typos (recieved -> received) Fri, 11 Jun 2010 10:52:57 GMT Martin Decky [48dcc69] * kernel/generic/include/proc/thread.h (modified) * kernel/generic/src/console/cmd.c (modified) * kernel/generic/src/proc/task.c (modified) * kernel/generic/src/proc/thread.c (modified) better printouts for threads Thu, 10 Jun 2010 16:04:07 GMT Martin Decky [c0f13d2] * kernel/generic/include/console/kconsole.h (modified) * kernel/generic/include/proc/task.h (modified) * kernel/generic/src/console/cmd.c (modified) * kernel/generic/src/console/kconsole.c (modified) * kernel/generic/src/proc/task.c (modified) introduce more compact and more readable command output to kconsole ... Thu, 10 Jun 2010 14:24:50 GMT Martin Decky [8eec3c8] * kernel/generic/include/interrupt.h (modified) * kernel/generic/include/sysinfo/abi.h (modified) * kernel/generic/src/interrupt/interrupt.c (modified) * kernel/generic/src/sysinfo/stats.c (modified) * uspace/app/top/screen.c (modified) * uspace/app/top/top.c (modified) * uspace/app/top/top.h (modified) * uspace/lib/c/generic/stats.c (modified) * uspace/lib/c/include/stats.h (modified) merge basic exception accounting (this is the last piece missing from ... Wed, 09 Jun 2010 19:03:24 GMT Jiri Svoboda [1113c9e] * uspace/app/sbi/Makefile (modified) * uspace/app/sbi/src/ancr.c (modified) * uspace/app/sbi/src/bigint.c (modified) * uspace/app/sbi/src/bigint.h (modified) * uspace/app/sbi/src/builtin.c (modified) * uspace/app/sbi/src/builtin.h (modified) * uspace/app/sbi/src/builtin/bi_char.c (added) * uspace/app/sbi/src/builtin/bi_char.h (added) * uspace/app/sbi/src/builtin/bi_fun.c (modified) * uspace/app/sbi/src/builtin/bi_int.c (added) * uspace/app/sbi/src/builtin/bi_int.h (added) * uspace/app/sbi/src/builtin/bi_string.c (modified) * uspace/app/sbi/src/imode.c (modified) * uspace/app/sbi/src/input.c (modified) * uspace/app/sbi/src/mytypes.h (modified) * uspace/app/sbi/src/os/helenos.c (modified) * uspace/app/sbi/src/os/os.h (modified) * uspace/app/sbi/src/os/posix.c (modified) * uspace/app/sbi/src/parse.c (modified) * uspace/app/sbi/src/program.c (modified) * uspace/app/sbi/src/rdata.c (modified) * uspace/app/sbi/src/rdata_t.h (modified) * uspace/app/sbi/src/run.c (modified) * uspace/app/sbi/src/run.h (modified) * uspace/app/sbi/src/run_expr.c (modified) * uspace/app/sbi/src/run_expr.h (modified) * uspace/app/sbi/src/run_t.h (modified) * uspace/app/sbi/src/run_texpr.c (modified) * uspace/app/sbi/src/stree.c (modified) * uspace/app/sbi/src/stree.h (modified) * uspace/app/sbi/src/stree_t.h (modified) * uspace/app/sbi/src/stype.c (modified) * uspace/app/sbi/src/stype.h (modified) * uspace/app/sbi/src/stype_expr.c (modified) * uspace/app/sbi/src/stype_t.h (modified) * uspace/app/sbi/src/symbol.c (modified) * uspace/app/sbi/src/symbol.h (modified) * uspace/app/sbi/src/tdata.c (modified) * uspace/app/sbi/src/tdata_t.h (modified) * uspace/dist/src/sysel/demos/arith.sy (modified) * uspace/dist/src/sysel/demos/array.sy (modified) * uspace/dist/src/sysel/demos/autobox.sy (modified) * uspace/dist/src/sysel/demos/count.sy (modified) * uspace/dist/src/sysel/demos/ctor.sy (modified) * uspace/dist/src/sysel/demos/deleg.sy (modified) * uspace/dist/src/sysel/demos/enum.sy (modified) * uspace/dist/src/sysel/demos/except.sy (modified) * uspace/dist/src/sysel/demos/gen.sy (modified) * uspace/dist/src/sysel/demos/hello.sy (modified) * uspace/dist/src/sysel/demos/hexec.sy (modified) * uspace/dist/src/sysel/demos/htxtfile.sy (modified) * uspace/dist/src/sysel/demos/iface.sy (added) * uspace/dist/src/sysel/demos/inherit.sy (modified) * uspace/dist/src/sysel/demos/list.sy (modified) * uspace/dist/src/sysel/demos/map.sy (modified) * uspace/dist/src/sysel/demos/property.sy (modified) * uspace/dist/src/sysel/demos/string.sy (modified) * uspace/dist/src/sysel/demos/svar.sy (added) * uspace/dist/src/sysel/demos/varargs.sy (modified) * uspace/dist/src/sysel/lib/arith.sy (modified) * uspace/dist/src/sysel/lib/boxed.sy (modified) * uspace/dist/src/sysel/lib/ienum.sy (added) * uspace/dist/src/sysel/lib/libflist (modified) * uspace/dist/src/sysel/lib/list.sy (modified) * uspace/dist/src/sysel/lib/map.sy (modified) Merge from lp:~jsvoboda/helenos/sysel. Wed, 09 Jun 2010 19:01:08 GMT Jiri Svoboda [c5cb943d] * uspace/app/sbi/Makefile (modified) * uspace/app/sbi/src/ancr.c (modified) * uspace/app/sbi/src/bigint.c (modified) * uspace/app/sbi/src/bigint.h (modified) * uspace/app/sbi/src/builtin.c (modified) * uspace/app/sbi/src/builtin.h (modified) * uspace/app/sbi/src/builtin/bi_char.c (added) * uspace/app/sbi/src/builtin/bi_char.h (added) * uspace/app/sbi/src/builtin/bi_fun.c (modified) * uspace/app/sbi/src/builtin/bi_int.c (added) * uspace/app/sbi/src/builtin/bi_int.h (added) * uspace/app/sbi/src/builtin/bi_string.c (modified) * uspace/app/sbi/src/imode.c (modified) * uspace/app/sbi/src/input.c (modified) * uspace/app/sbi/src/mytypes.h (modified) * uspace/app/sbi/src/os/helenos.c (modified) * uspace/app/sbi/src/os/os.h (modified) * uspace/app/sbi/src/os/posix.c (modified) * uspace/app/sbi/src/parse.c (modified) * uspace/app/sbi/src/program.c (modified) * uspace/app/sbi/src/rdata.c (modified) * uspace/app/sbi/src/rdata_t.h (modified) * uspace/app/sbi/src/run.c (modified) * uspace/app/sbi/src/run.h (modified) * uspace/app/sbi/src/run_expr.c (modified) * uspace/app/sbi/src/run_expr.h (modified) * uspace/app/sbi/src/run_t.h (modified) * uspace/app/sbi/src/run_texpr.c (modified) * uspace/app/sbi/src/stree.c (modified) * uspace/app/sbi/src/stree.h (modified) * uspace/app/sbi/src/stree_t.h (modified) * uspace/app/sbi/src/stype.c (modified) * uspace/app/sbi/src/stype.h (modified) * uspace/app/sbi/src/stype_expr.c (modified) * uspace/app/sbi/src/stype_t.h (modified) * uspace/app/sbi/src/symbol.c (modified) * uspace/app/sbi/src/symbol.h (modified) * uspace/app/sbi/src/tdata.c (modified) * uspace/app/sbi/src/tdata_t.h (modified) * uspace/dist/src/sysel/demos/arith.sy (modified) * uspace/dist/src/sysel/demos/array.sy (modified) * uspace/dist/src/sysel/demos/autobox.sy (modified) * uspace/dist/src/sysel/demos/count.sy (modified) * uspace/dist/src/sysel/demos/ctor.sy (modified) * uspace/dist/src/sysel/demos/deleg.sy (modified) * uspace/dist/src/sysel/demos/enum.sy (modified) * uspace/dist/src/sysel/demos/except.sy (modified) * uspace/dist/src/sysel/demos/gen.sy (modified) * uspace/dist/src/sysel/demos/hello.sy (modified) * uspace/dist/src/sysel/demos/hexec.sy (modified) * uspace/dist/src/sysel/demos/htxtfile.sy (modified) * uspace/dist/src/sysel/demos/iface.sy (added) * uspace/dist/src/sysel/demos/inherit.sy (modified) * uspace/dist/src/sysel/demos/list.sy (modified) * uspace/dist/src/sysel/demos/map.sy (modified) * uspace/dist/src/sysel/demos/property.sy (modified) * uspace/dist/src/sysel/demos/string.sy (modified) * uspace/dist/src/sysel/demos/svar.sy (added) * uspace/dist/src/sysel/demos/varargs.sy (modified) * uspace/dist/src/sysel/lib/arith.sy (modified) * uspace/dist/src/sysel/lib/boxed.sy (modified) * uspace/dist/src/sysel/lib/ienum.sy (added) * uspace/dist/src/sysel/lib/libflist (modified) * uspace/dist/src/sysel/lib/list.sy (modified) * uspace/dist/src/sysel/lib/map.sy (modified) Update SBI to rev. 291. Tue, 08 Jun 2010 21:26:22 GMT Jakub Jermar [8f80c77] * kernel/arch/mips32/src/mm/tlb.c (modified) * kernel/arch/ppc32/src/mm/tlb.c (modified) * kernel/genarch/src/mm/asid.c (modified) * kernel/genarch/src/mm/page_ht.c (modified) * kernel/genarch/src/mm/page_pt.c (modified) * kernel/generic/src/mm/as.c (modified) * kernel/generic/src/mm/backend_elf.c (modified) * kernel/generic/src/mm/page.c (modified) * kernel/generic/src/sysinfo/stats.c (modified) Lock/interrupt assertions in the code are self-documenting. No need ... Tue, 08 Jun 2010 21:08:44 GMT Jakub Jermar [2d3ddad] * kernel/generic/src/mm/slab.c (modified) * kernel/generic/src/proc/scheduler.c (modified) * kernel/generic/src/proc/thread.c (modified) Add more *_locked() assertions. Tue, 08 Jun 2010 20:12:00 GMT Jakub Jermar [c992538a] * kernel/generic/src/console/cmd.c (modified) Disable interrupts during callN kconsole commands. Wed, 02 Jun 2010 21:59:48 GMT Jakub Jermar [bdfd3cdd] * kernel/arch/sparc64/include/drivers/scr.h (modified) * kernel/arch/sparc64/src/drivers/scr.c (modified) Support for QEMU,VGA frame buffer on sparc64. (Contributed by Igor ... Wed, 02 Jun 2010 20:36:35 GMT Jiri Svoboda [f8d07859] * kernel/Makefile (modified) Revert accidental change of optimization level from changeset:head,510. Wed, 02 Jun 2010 20:35:44 GMT Jiri Svoboda [0ac99db] * kernel/generic/src/proc/thread.c (modified) Make uspace threads stoppable before they exit. This fixes ticket #244. Wed, 02 Jun 2010 18:47:38 GMT Jiri Svoboda [4acaa7c0] * kernel/Makefile (modified) * kernel/generic/src/ipc/kbox.c (modified) Fix incorrect irq spinlock bracketing in kbox_proc_phone_hungup(). Wed, 02 Jun 2010 06:59:17 GMT Jakub Jermar [179d052] * uspace/srv/vfs/vfs_ops.c (modified) Assert that file is not NULL in vfs_open(). Mon, 31 May 2010 22:33:44 GMT Jakub Jermar [1d432f9] * kernel/arch/mips32/src/mm/tlb.c (modified) * kernel/arch/ppc32/src/mm/tlb.c (modified) * kernel/genarch/src/mm/asid.c (modified) * kernel/genarch/src/mm/page_ht.c (modified) * kernel/genarch/src/mm/page_pt.c (modified) * kernel/generic/src/ipc/irq.c (modified) * kernel/generic/src/mm/as.c (modified) * kernel/generic/src/mm/backend_anon.c (modified) * kernel/generic/src/mm/backend_elf.c (modified) * kernel/generic/src/mm/backend_phys.c (modified) * kernel/generic/src/mm/page.c (modified) * kernel/generic/src/proc/task.c (modified) * kernel/generic/src/proc/thread.c (modified) * kernel/generic/src/synch/waitq.c (modified) * kernel/generic/src/sysinfo/stats.c (modified) * kernel/generic/src/udebug/udebug.c (modified) Reflect assumptions about lock and interrupt state in functions ... Mon, 31 May 2010 20:28:52 GMT Jakub Jermar [3a2b636] * kernel/arch/arm32/src/mm/page.c (modified) Lock the page tables before working with them on arm32. Mon, 31 May 2010 19:38:05 GMT Jakub Jermar [b0b2ac1] * kernel/arch/amd64/src/mm/page.c (modified) Lock the page tables before working with them on amd64. Mon, 31 May 2010 19:09:07 GMT Jakub Jermar [6e2bf29] * kernel/arch/ppc32/src/mm/page.c (modified) Lock the page tables before working with them on ppc32. Mon, 31 May 2010 19:08:26 GMT Jakub Jermar [e3ce39b] * kernel/arch/ia32/src/mm/page.c (modified) * kernel/arch/ia32/src/smp/smp.c (modified) * kernel/genarch/src/acpi/acpi.c (modified) Lock the page tables before working with them on ia32.