seL4/include/arch
Nick Spinale b45ca5cd71 aarch64: fix FAR_EL1 width in writeFAR
Fixes a bug where writeFAR was only writing to the low 32 bits of the
64-bit FAR_EL1 register.
2020-01-14 17:47:55 +11:00
..
arm aarch64: fix FAR_EL1 width in writeFAR 2020-01-14 17:47:55 +11:00
riscv/arch unify userSize type declarations 2019-12-19 15:50:40 +11:00
x86/arch Revert "Cache FPU enable state on all platforms" 2019-12-19 17:18:35 +11:00