seL4/include/arch
Matthew ce71d1fccc Move to and from 64 bit system registers
Clang requires explicitly identifying a move is to a 64 bit
register (x<reg>), not just half (w<reg>).
2020-02-12 16:08:35 +11:00
..
arm Move to and from 64 bit system registers 2020-02-12 16:08:35 +11:00
riscv/arch riscv32 does not support huge pages 2020-02-10 15:01:43 +11:00
x86/arch Revert "Cache FPU enable state on all platforms" 2019-12-19 17:18:35 +11:00