Cross Reference: /seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/generic

Cross Reference: generic_timer.c

xref: /seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/generic_timer.c