Alexander von Gluck IV 524bea3553 kernel: fix missing cpu cache defines non-x86 ...

* Regression introduced due to scheduler change
* Other other non-x86, non-ppc, and non-arm platforms
  need evalulated for this metric

2014-01-19 14:27:09 -06:00

..

board/sam460ex

Sam460ex: Add cpu type and model defines to board_config.h

2012-06-02 01:25:53 +02:00

arch_cpu.h

kernel: fix missing cpu cache defines non-x86

2014-01-19 14:27:09 -06:00

arch_debug.h

kernel_ppc: Save caller's stack pointer in arch_debug_save_registers

2010-06-27 20:16:59 +00:00

arch_int.h

…

arch_kernel_args.h

PPC: Add a platform field to the arch_kernel_args

2012-09-22 22:10:02 +02:00

arch_kernel.h

vm: place commpage and team data near the top of user address space

2013-04-04 15:27:24 +02:00

arch_mmu_amcc440.h

PPC: Work-in-progress MMU definitions for AMCC440/460.

2013-03-09 03:26:53 +01:00

arch_mmu.h

…

arch_platform.h

PPC: Add a PPC_PLATFORM_U_BOOT platform type

2012-09-22 19:55:02 +02:00

arch_system_info.h

…

arch_thread_types.h

ppc build fix

2011-05-30 19:51:45 +00:00

arch_thread.h

Merged the signals branch into trunk, with these changes:

2011-01-10 21:54:38 +00:00

arch_user_debugger.h

…

arch_vm_translation_map.h

* First run through the kernel's private parts to use phys_{addr,size}_t

2010-05-25 21:34:08 +00:00

arch_vm_types.h

…

arch_vm.h

…

cpu.h

…

ktypes.h

…

stage2_priv.h

…

types.h

…