#
# ChangeLog for kernel/arch/abs32le/include/mm/page.h in mainline
#
# Generated by Trac 1.5.4
# 2024-06-17T05:51:03Z

Fri, 25 Jun 2010 14:49:42 GMT Martin Decky <martin@…> [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


Tue, 22 Jun 2010 11:34:00 GMT Martin Decky <martin@…> [6b80696]
	* kernel/arch/abs32le/include/mm/page.h (modified)

	be very specific about the immediate result type


Fri, 11 Jun 2010 16:07:21 GMT Martin Decky <martin@…> [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