seL4/include/arch
JorgeMVP a4b591727a arm64: add required isb() between AT and PAR inst
- "When an address translation instruction is executed,
explicit synchronization is required to guarantee the
result is visible to subsequent direct reads of PAR_EL1."

Signed-off-by: JorgeMVP <jorgepereira89@gmail.com>
2023-04-23 14:59:35 +10:00
..
arm arm64: add required isb() between AT and PAR inst 2023-04-23 14:59:35 +10:00
riscv/arch machine: compile time checks for multikernel 2023-04-12 15:56:26 +10:00
x86/arch Add newer Skylake model ID 2022-07-29 17:01:32 +10:00