Searched refs:get_resolution (Results 1 - 13 of 13) sorted by relevance
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/nvidia/ |
| H A D | ltimer.c | 45 static int get_resolution(void *data, uint64_t *resolution) function
98 ltimer->get_resolution = get_resolution;
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/imx/ |
| H A D | ltimer.c | 43 static int get_resolution(void *data, uint64_t *resolution) function
97 ltimer->get_resolution = get_resolution;
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
| H A D | ltimer.c | 40 static int get_resolution(void *data, uint64_t *resolution) function
87 ltimer->get_resolution = get_resolution;
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
| H A D | ltimer.c | 42 static int get_resolution(void *data, uint64_t *resolution) function
98 ltimer->get_resolution = get_resolution;
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
| H A D | ltimer.h | 106 int (*get_resolution)(void *data, uint64_t *resolution); member in struct:ltimer
150 if (timer->get_resolution == NULL) {
155 return timer->get_resolution(timer->data, resolution);
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
| H A D | ltimer.c | 50 static int get_resolution(void *data, uint64_t *resolution) function
111 ltimer->get_resolution = get_resolution;
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/omap/ |
| H A D | ltimer.c | 39 static int get_resolution(void *data, uint64_t *resolution) function
102 ltimer->get_resolution = get_resolution;
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
| H A D | ltimer.c | 131 static int get_resolution(void *data, uint64_t *resolution) function
195 ltimer->get_resolution = get_resolution;
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/odroidc2/ |
| H A D | ltimer.c | 104 static int get_resolution(void *data, uint64_t *resolution) function
191 ltimer->get_resolution = get_resolution;
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/ |
| H A D | generic_ltimer.c | 122 static int get_resolution(void *data, uint64_t *resolution) function
164 ltimer->get_resolution = get_resolution;
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hifive/ |
| H A D | ltimer.c | 130 static int get_resolution(void *data, uint64_t *resolution) function
189 ltimer->get_resolution = get_resolution;
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/ |
| H A D | ltimer.h | 117 ltimer->get_resolution = get_resolution_dummy;
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
| H A D | ltimer.c | 183 static int get_resolution(void *data, uint64_t *resolution) function
327 ltimer->get_resolution = get_resolution;
408 ltimer->get_resolution = get_resolution;
|
Completed in 105 milliseconds