seL4/include/arch
Alwin Joshy 28ffc62f74 aarch32: change dbg register fields
Changing the debug register fields to what they are referred to
as in the ARMv7 and ARMv8 manuals. Mostly a cosmetic change,
but improves clarity.

Signed-off-by: Alwin Joshy <joshyalwin@gmail.com>
2024-07-18 16:09:52 +10:00
..
arm aarch32: change dbg register fields 2024-07-18 16:09:52 +10:00
riscv/arch risc-v: remove special handling for restoring tp 2024-07-18 11:55:55 +10:00
x86/arch x86 setDeadline: must set at least 1 tick 2023-11-08 11:01:00 +11:00