seL4/include/arch
Curtis Millar 7afebd31ee mcs: Fix conversion of ticks to us on aarch64
Actually divide by KHz frequency when on a platform that uses a clock
that does not have an integer MHz frequency for aarch64.

Signed-off-by: Curtis Millar <curtis.millar@data61.csiro.au>
2021-04-06 13:47:09 +10:00
..
arm mcs: Fix conversion of ticks to us on aarch64 2021-04-06 13:47:09 +10:00
riscv/arch riscv: use uint8_t for register_t 2021-03-23 23:33:08 +11:00
x86/arch avoid passing extra_caps_t by value 2021-03-19 11:29:51 +11:00