seL4/include/arch
Thomas Sewell 122aaeb5d5 Declare priv_timer to be a const pointer.
The structure isn't constant, but the pointer to it is, and this
saves a few cycles and fixes a minor issue for translation validation.
2018-08-06 16:06:30 +10:00
..
arm Declare priv_timer to be a const pointer. 2018-08-06 16:06:30 +10:00
riscv/arch riscv: Define TLS_BASE 2018-07-04 16:28:08 +10:00
x86/arch x86: update declaration for decodeX86PortInvocation to use call variable 2018-05-24 05:56:16 +10:00