Curtis Millar 7749b33589 Don't assume timer precision is passed ...

the function is not always passed the TIMER_PRECISION argument. If it is
not, we should not set the global varaible.

Signed-off-by: Curtis Millar <curtis.millar@data61.csiro.au>

2021-04-06 11:39:03 +10:00

..

ARM_HYP_verified.cmake

Convert license tags to SPDX identifiers

2020-03-09 13:21:49 +08:00

ARM_MCS_verified.cmake

mcs: add MAX_BUDGET_US

2020-07-24 12:28:58 +10:00

ARM_verified.cmake

Convert license tags to SPDX identifiers

2020-03-09 13:21:49 +08:00

RISCV64_MCS_verified.cmake

riscv: more efficient clz and ctz

2021-03-23 14:43:34 +11:00

RISCV64_verified.cmake

riscv: more efficient clz and ctz

2021-03-23 14:43:34 +11:00

seL4Config.cmake

Don't assume timer precision is passed

2021-04-06 11:39:03 +10:00

X64_verified.cmake

Convert license tags to SPDX identifiers

2020-03-09 13:21:49 +08:00