| /seL4-refos-master/libs/libplatsupport/src/mach/nvidia/ |
| H A D | ltimer.c | 35 static int get_time(void *data, uint64_t *time) function
97 ltimer->get_time = get_time;
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/mach/nvidia/ |
| H A D | ltimer.c | 35 static int get_time(void *data, uint64_t *time) function
97 ltimer->get_time = get_time;
|
| /seL4-refos-master/libs/libplatsupport/src/mach/imx/ |
| H A D | ltimer.c | 33 static int get_time(void *data, uint64_t *time) function
96 ltimer->get_time = get_time;
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/mach/imx/ |
| H A D | ltimer.c | 33 static int get_time(void *data, uint64_t *time) function
96 ltimer->get_time = get_time;
|
| /seL4-refos-master/libs/libplatsupport/src/mach/exynos/ |
| H A D | ltimer.c | 30 static int get_time(void *data, uint64_t *time) function
86 ltimer->get_time = get_time;
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
| H A D | ltimer.c | 30 static int get_time(void *data, uint64_t *time) function
86 ltimer->get_time = get_time;
|
| /seL4-refos-master/libs/libplatsupport/src/plat/am335x/ |
| H A D | ltimer.c | 32 static int get_time(void *data, uint64_t *time) function
55 int error = get_time(data, ¤t_time);
92 get_time, set_timeout, reset, destroy
|
| /seL4-refos-master/libs/libplatsupport/src/plat/fvp/ |
| H A D | ltimer.c | 35 static int get_time(void *data, uint64_t *time) function
49 int error = get_time(data, &time);
92 get_time, set_timeout, reset, destroy
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
| H A D | ltimer.c | 32 static int get_time(void *data, uint64_t *time) function
55 int error = get_time(data, ¤t_time);
92 get_time, set_timeout, reset, destroy
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/fvp/ |
| H A D | ltimer.c | 35 static int get_time(void *data, uint64_t *time) function
49 int error = get_time(data, &time);
92 get_time, set_timeout, reset, destroy
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hikey/ |
| H A D | ltimer.c | 35 static int get_time(void *data, uint64_t *time) function
49 int error = get_time(data, &time);
96 get_time, set_timeout, reset, destroy
|
| /seL4-refos-master/libs/libplatsupport/src/plat/hikey/ |
| H A D | ltimer.c | 35 static int get_time(void *data, uint64_t *time) function
49 int error = get_time(data, &time);
96 get_time, set_timeout, reset, destroy
|
| /seL4-refos-master/libs/libplatsupport/src/plat/rockpro64/ |
| H A D | ltimer.c | 32 static int get_time(void *data, uint64_t *time) function
49 int error = get_time(data, ¤t_time);
93 get_time, set_timeout, reset, destroy
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/rockpro64/ |
| H A D | ltimer.c | 32 static int get_time(void *data, uint64_t *time) function
49 int error = get_time(data, ¤t_time);
93 get_time, set_timeout, reset, destroy
|
| /seL4-refos-master/libs/libplatsupport/src/ |
| H A D | ltimer.h | 108 int (*get_time)(void *data, uint64_t *time),
116 ltimer->get_time = get_time;
|
| H A D | local_time_manager.c | 48 static int get_time(void *data, uint64_t *time) function
99 int error = get_time(data, &curr_time);
179 tm->get_time = get_time;
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/ |
| H A D | ltimer.h | 108 int (*get_time)(void *data, uint64_t *time),
116 ltimer->get_time = get_time;
|
| H A D | local_time_manager.c | 48 static int get_time(void *data, uint64_t *time) function
99 int error = get_time(data, &curr_time);
179 tm->get_time = get_time;
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
| H A D | ltimer.c | 41 static int get_time(void *data, uint64_t *time) function
62 get_time(data, &time);
110 ltimer->get_time = get_time;
|
| /seL4-refos-master/libs/libplatsupport/src/mach/zynq/ |
| H A D | ltimer.c | 41 static int get_time(void *data, uint64_t *time) function
62 get_time(data, &time);
110 ltimer->get_time = get_time;
|
| /seL4-refos-master/libs/libplatsupport/include/platsupport/ |
| H A D | time_manager.h | 112 int (*get_time)(void *data, uint64_t *time); member in struct:time_manager
218 __TM_VALID_ARGS(get_time);
222 return tm->get_time(tm->data, time);
|
| H A D | ltimer.h | 96 int (*get_time)(void *data, uint64_t *time); member in struct:ltimer
99 * Get the precision of this time returned by get_time. i.e if the timer is
257 if (timer->get_time == NULL) {
258 ZF_LOGE("get_time not implemented");
262 return timer->get_time(timer->data, time);
|
| /seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/ |
| H A D | time_manager.h | 112 int (*get_time)(void *data, uint64_t *time); member in struct:time_manager
218 __TM_VALID_ARGS(get_time);
222 return tm->get_time(tm->data, time);
|
| H A D | ltimer.h | 96 int (*get_time)(void *data, uint64_t *time); member in struct:ltimer
99 * Get the precision of this time returned by get_time. i.e if the timer is
257 if (timer->get_time == NULL) {
258 ZF_LOGE("get_time not implemented");
262 return timer->get_time(timer->data, time);
|
| /seL4-refos-master/libs/libplatsupport/src/mach/omap/ |
| H A D | ltimer.c | 29 static int get_time(void *data, uint64_t *time) function
101 ltimer->get_time = get_time;
|