Peter Chubb 400744394b Attempt to unify cache clean instruction sequence ...

Rather than #ifdef on individual platforms, use the same sequence for
all armV7e platforms.

Signed-off-by: Peter Chubb <peter.chubb@data61.csiro.au>

2021-09-08 19:29:37 +10:00

..

32/mode

replacing all ifndef with pargma once

2020-03-23 11:04:46 +11:00

64/mode

replacing all ifndef with pargma once

2020-03-23 11:04:46 +11:00

api

prefer macro CURRENT_CPU_INDEX()

2021-08-17 18:19:37 +10:00

arch

Attempt to unify cache clean instruction sequence

2021-09-08 19:29:37 +10:00

benchmark

KernelBenchmarksTrackUtilisation: Add more stats

2020-07-15 15:15:27 +10:00

drivers

debug: restructure kernel console handling

2021-05-14 13:13:36 +10:00

fastpath

replacing all ifndef with pargma once

2020-03-23 11:04:46 +11:00

kernel

boot: remove ndks_boot.slot_pos_max

2021-09-02 08:44:24 +10:00

machine

debug: restructure kernel console handling

2021-05-14 13:13:36 +10:00

model

define macro SEL4_WORD_CONST()

2021-08-17 18:19:37 +10:00

object

mcs: Only unbind extant donated ntfn sc

2021-04-29 12:07:07 +10:00

plat

risc-v: remove obsolete file

2021-07-05 09:17:33 +10:00

smp

Repair barriers in clh_lock_acquire

2020-06-22 11:53:08 +10:00

api.h

replacing all ifndef with pargma once

2020-03-23 11:04:46 +11:00

assert.h

ensure assert() macro is an atom

2021-08-19 08:28:27 +10:00

basic_types.h

define macro SEL4_WORD_CONST()

2021-08-17 18:19:37 +10:00

bootinfo.h

boot: use helper variable to simplify code

2021-09-06 09:22:04 +10:00

compound_types.h

replacing all ifndef with pargma once

2020-03-23 11:04:46 +11:00

config.h

libsel4: Fix name for AARCH64_VSPACE_S2_START_L1

2021-09-06 08:08:54 +10:00

hardware.h

boot: make linker definitions generic

2021-07-01 11:30:19 +10:00

linker.h

replacing all ifndef with pargma once

2020-03-23 11:04:46 +11:00

machine.h

use const qualifier

2021-07-01 10:48:47 +10:00

object.h

replacing all ifndef with pargma once

2020-03-23 11:04:46 +11:00

stdarg.h

Revised kernel printf implementation

2020-05-19 13:16:20 +10:00

stdint.h

support PRIu64 and SEL4_PRIu_word in kernel

2021-05-14 13:34:38 +10:00

string.h

replacing all ifndef with pargma once

2020-03-23 11:04:46 +11:00

types.h

replacing all ifndef with pargma once

2020-03-23 11:04:46 +11:00

util.h

trivial: improve style for code and comments

2021-08-31 10:53:31 +10:00