825 |
6812 d 11 h |
jermar |
/kernel/trunk/ |
Remove WAKEUP_IPI stuff.
Make it possible to use PAGE_GLOBAL on ia32, amd64 and mips32.
Make ia32 and amd64 map the kernel using PAGE_GLOBAL. |
|
/kernel/trunk/arch/amd64/include/interrupt.h /kernel/trunk/arch/amd64/include/mm/page.h /kernel/trunk/arch/amd64/src/amd64.c /kernel/trunk/arch/amd64/src/interrupt.c /kernel/trunk/arch/amd64/src/mm/page.c /kernel/trunk/arch/ia32/include/interrupt.h /kernel/trunk/arch/ia32/include/mm/page.h /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/mips32/include/mm/page.h /kernel/trunk/contrib/conf/msim.conf
|