seL4/include/arch
Anna Lyons c090b058a5 arm: consolidate benchmark_arch_utilisation_reset
- Move identical definitions from armv6 and armv7 to common arm code.
- Remove excessive #ifdef guards - let the compiler throw it away if
  it isn't used
2019-06-14 12:12:15 +10:00
..
arm arm: consolidate benchmark_arch_utilisation_reset 2019-06-14 12:12:15 +10:00
riscv/arch Consistent naming of FaultIP and NextIP in kernel 2019-05-28 15:12:38 +10:00
x86/arch x86 boot: pass mem_p_regs by pointer 2019-05-15 14:03:40 +10:00