| /seL4-refos-master/libs/libplatsupport/plat_include/imx8m/platsupport/plat/ |
| H A D | timer.h | 28 static inline uint64_t imx_get_time(imx_timers_t *timers) argument
30 return gpt_get_time(&timers->timestamp);
33 static inline int imx_set_timeout(imx_timers_t *timers, uint64_t ns, bool periodic) argument
35 return gpt_set_timeout(&timers->timeout, ns, periodic);
38 static inline void imx_start_timestamp(imx_timers_t *timers) argument
40 gpt_start(&timers->timestamp);
43 static inline void imx_stop_timestamp(imx_timers_t *timers) argument
45 gpt_stop(&timers->timestamp);
48 static inline void imx_stop_timeout(imx_timers_t *timers) argument
50 gpt_stop(&timers
66 imx_init_timestamp(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, void *user_callback_token) argument
72 imx_destroy_timestamp(imx_timers_t *timers) argument
77 imx_init_timeout(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, void *user_callback_token) argument
83 imx_destroy_timeout(imx_timers_t *timers) argument
[all...] |
| /seL4-refos-master/libs/libplatsupport/plat_include/imx6/platsupport/plat/ |
| H A D | timer.h | 35 static inline uint64_t imx_get_time(imx_timers_t *timers) argument
37 return gpt_get_time(&timers->timestamp);
40 static inline void imx_start_timestamp(imx_timers_t *timers) argument
42 gpt_start(&timers->timestamp);
45 static inline void imx_stop_timestamp(imx_timers_t *timers) argument
47 gpt_stop(&timers->timestamp);
50 static inline int imx_init_timestamp(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, argument
60 return gpt_init(&timers->timestamp, config);
63 static inline int imx_destroy_timestamp(imx_timers_t *timers) argument
65 return gpt_destroy(&timers
68 imx_set_timeout(imx_timers_t *timers, uint64_t ns, bool periodic) argument
73 imx_stop_timeout(imx_timers_t *timers) argument
78 imx_init_timeout(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, void *user_callback_token) argument
91 imx_destroy_timeout(imx_timers_t *timers) argument
[all...] |
| /seL4-refos-master/libs/libplatsupport/plat_include/imx7/platsupport/plat/ |
| H A D | timer.h | 34 static inline uint64_t imx_get_time(imx_timers_t *timers) argument
36 return gpt_get_time(&timers->timestamp);
39 static inline int imx_set_timeout(imx_timers_t *timers, uint64_t ns, bool periodic) argument
41 return gpt_set_timeout(&timers->timeout, ns, periodic);
44 static inline void imx_start_timestamp(imx_timers_t *timers) argument
46 gpt_start(&timers->timestamp);
49 static inline void imx_stop_timestamp(imx_timers_t *timers) argument
51 gpt_stop(&timers->timestamp);
54 static inline void imx_stop_timeout(imx_timers_t *timers) argument
56 gpt_stop(&timers
72 imx_init_timestamp(imx_timers_t *timers, ps_io_ops_t *io_ops, ltimer_callback_fn_t user_callback, void *user_callback_token) argument
78 imx_destroy_timestamp(imx_timers_t *timers) argument
83 imx_init_timeout(imx_timers_t *timers, ps_io_ops_t *io_ops, ltimer_callback_fn_t user_callback, void *user_callback_token) argument
89 imx_destroy_timeout(imx_timers_t *timers) argument
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/imx6/platsupport/plat/ |
| H A D | timer.h | 35 static inline uint64_t imx_get_time(imx_timers_t *timers) argument
37 return gpt_get_time(&timers->timestamp);
40 static inline void imx_start_timestamp(imx_timers_t *timers) argument
42 gpt_start(&timers->timestamp);
45 static inline void imx_stop_timestamp(imx_timers_t *timers) argument
47 gpt_stop(&timers->timestamp);
50 static inline int imx_init_timestamp(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, argument
60 return gpt_init(&timers->timestamp, config);
63 static inline int imx_destroy_timestamp(imx_timers_t *timers) argument
65 return gpt_destroy(&timers
68 imx_set_timeout(imx_timers_t *timers, uint64_t ns, bool periodic) argument
73 imx_stop_timeout(imx_timers_t *timers) argument
78 imx_init_timeout(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, void *user_callback_token) argument
91 imx_destroy_timeout(imx_timers_t *timers) argument
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/imx8m/platsupport/plat/ |
| H A D | timer.h | 28 static inline uint64_t imx_get_time(imx_timers_t *timers) argument
30 return gpt_get_time(&timers->timestamp);
33 static inline int imx_set_timeout(imx_timers_t *timers, uint64_t ns, bool periodic) argument
35 return gpt_set_timeout(&timers->timeout, ns, periodic);
38 static inline void imx_start_timestamp(imx_timers_t *timers) argument
40 gpt_start(&timers->timestamp);
43 static inline void imx_stop_timestamp(imx_timers_t *timers) argument
45 gpt_stop(&timers->timestamp);
48 static inline void imx_stop_timeout(imx_timers_t *timers) argument
50 gpt_stop(&timers
66 imx_init_timestamp(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, void *user_callback_token) argument
72 imx_destroy_timestamp(imx_timers_t *timers) argument
77 imx_init_timeout(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, void *user_callback_token) argument
83 imx_destroy_timeout(imx_timers_t *timers) argument
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/imx7/platsupport/plat/ |
| H A D | timer.h | 34 static inline uint64_t imx_get_time(imx_timers_t *timers) argument
36 return gpt_get_time(&timers->timestamp);
39 static inline int imx_set_timeout(imx_timers_t *timers, uint64_t ns, bool periodic) argument
41 return gpt_set_timeout(&timers->timeout, ns, periodic);
44 static inline void imx_start_timestamp(imx_timers_t *timers) argument
46 gpt_start(&timers->timestamp);
49 static inline void imx_stop_timestamp(imx_timers_t *timers) argument
51 gpt_stop(&timers->timestamp);
54 static inline void imx_stop_timeout(imx_timers_t *timers) argument
56 gpt_stop(&timers
72 imx_init_timestamp(imx_timers_t *timers, ps_io_ops_t *io_ops, ltimer_callback_fn_t user_callback, void *user_callback_token) argument
78 imx_destroy_timestamp(imx_timers_t *timers) argument
83 imx_init_timeout(imx_timers_t *timers, ps_io_ops_t *io_ops, ltimer_callback_fn_t user_callback, void *user_callback_token) argument
89 imx_destroy_timeout(imx_timers_t *timers) argument
[all...] |
| /seL4-refos-master/libs/libplatsupport/plat_include/imx31/platsupport/plat/ |
| H A D | timer.h | 30 static inline uint64_t imx_get_time(imx_timers_t *timers) argument
32 return epit_get_time(&timers->timestamp);
35 static inline void imx_start_timestamp(imx_timers_t *timers) argument
37 epit_set_timeout_ticks(&timers->timestamp, UINT32_MAX, true);
40 static inline void imx_stop_timestamp(imx_timers_t *timers) argument
42 epit_stop(&timers->timestamp);
45 static inline int imx_init_timestamp(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, argument
56 return epit_init(&timers->timestamp, config);
59 static inline int imx_destroy_timestamp(imx_timers_t *timers) argument
61 return epit_destroy(&timers
71 imx_get_time(imx_timers_t *timers) argument
76 imx_start_timestamp(imx_timers_t *timers) argument
81 imx_stop_timestamp(imx_timers_t *timers) argument
86 imx_init_timestamp(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, void *user_callback_token) argument
99 imx_destroy_timestamp(imx_timers_t *timers) argument
107 imx_set_timeout(imx_timers_t *timers, uint64_t ns, bool periodic) argument
112 imx_stop_timeout(imx_timers_t *timers) argument
117 imx_init_timeout(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, void *user_callback_token) argument
131 imx_destroy_timeout(imx_timers_t *timers) argument
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/imx31/platsupport/plat/ |
| H A D | timer.h | 30 static inline uint64_t imx_get_time(imx_timers_t *timers) argument
32 return epit_get_time(&timers->timestamp);
35 static inline void imx_start_timestamp(imx_timers_t *timers) argument
37 epit_set_timeout_ticks(&timers->timestamp, UINT32_MAX, true);
40 static inline void imx_stop_timestamp(imx_timers_t *timers) argument
42 epit_stop(&timers->timestamp);
45 static inline int imx_init_timestamp(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, argument
56 return epit_init(&timers->timestamp, config);
59 static inline int imx_destroy_timestamp(imx_timers_t *timers) argument
61 return epit_destroy(&timers
71 imx_get_time(imx_timers_t *timers) argument
76 imx_start_timestamp(imx_timers_t *timers) argument
81 imx_stop_timestamp(imx_timers_t *timers) argument
86 imx_init_timestamp(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, void *user_callback_token) argument
99 imx_destroy_timestamp(imx_timers_t *timers) argument
107 imx_set_timeout(imx_timers_t *timers, uint64_t ns, bool periodic) argument
112 imx_stop_timeout(imx_timers_t *timers) argument
117 imx_init_timeout(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, void *user_callback_token) argument
131 imx_destroy_timeout(imx_timers_t *timers) argument
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hifive/ |
| H A D | ltimer.c | 100 hifive_timers_t *timers = data; local
104 pwm_handle_irq(&timers->pwm_ltimers[COUNTER_TIMER].pwm, irq->irq.number);
107 pwm_handle_irq(&timers->pwm_ltimers[TIMEOUT_TIMER].pwm, irq->irq.number);
113 if (timers->user_callback) {
114 timers->user_callback(timers->user_callback_token, event);
124 hifive_timers_t *timers = data; local
126 *time = pwm_get_time(&timers->pwm_ltimers[COUNTER_TIMER].pwm);
138 hifive_timers_t *timers = data; local
142 uint64_t time = pwm_get_time(&timers
160 hifive_timers_t *timers = data; local
171 hifive_timers_t *timers = data; local
206 hifive_timers_t *timers = ltimer->data; local
237 hifive_timers_t *timers = ltimer->data; local
[all...] |
| /seL4-refos-master/libs/libplatsupport/src/plat/hifive/ |
| H A D | ltimer.c | 100 hifive_timers_t *timers = data; local
104 pwm_handle_irq(&timers->pwm_ltimers[COUNTER_TIMER].pwm, irq->irq.number);
107 pwm_handle_irq(&timers->pwm_ltimers[TIMEOUT_TIMER].pwm, irq->irq.number);
113 if (timers->user_callback) {
114 timers->user_callback(timers->user_callback_token, event);
124 hifive_timers_t *timers = data; local
126 *time = pwm_get_time(&timers->pwm_ltimers[COUNTER_TIMER].pwm);
138 hifive_timers_t *timers = data; local
142 uint64_t time = pwm_get_time(&timers
160 hifive_timers_t *timers = data; local
171 hifive_timers_t *timers = data; local
206 hifive_timers_t *timers = ltimer->data; local
237 hifive_timers_t *timers = ltimer->data; local
[all...] |
| /seL4-refos-master/libs/libplatsupport/src/mach/imx/ |
| H A D | ltimer.c | 15 * Currently all imx platforms use some combination of GPT and EPIT timers to provide ltimer functionality. See platform specific timer.h for details.
27 imx_timers_t timers; member in struct:__anon10
39 *time = imx_get_time(&imx_ltimer->timers);
54 uint64_t current_time = imx_get_time(&imx_ltimer->timers);
58 return imx_set_timeout(&imx_ltimer->timers, ns, type == TIMEOUT_PERIODIC);
66 /* reset the timers */
67 imx_stop_timeout(&imx_ltimer->timers);
68 imx_stop_timestamp(&imx_ltimer->timers);
69 imx_start_timestamp(&imx_ltimer->timers);
81 imx_stop_timestamp(&imx_ltimer->timers);
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/src/mach/imx/ |
| H A D | ltimer.c | 15 * Currently all imx platforms use some combination of GPT and EPIT timers to provide ltimer functionality. See platform specific timer.h for details.
27 imx_timers_t timers; member in struct:__anon20
39 *time = imx_get_time(&imx_ltimer->timers);
54 uint64_t current_time = imx_get_time(&imx_ltimer->timers);
58 return imx_set_timeout(&imx_ltimer->timers, ns, type == TIMEOUT_PERIODIC);
66 /* reset the timers */
67 imx_stop_timeout(&imx_ltimer->timers);
68 imx_stop_timestamp(&imx_ltimer->timers);
69 imx_start_timestamp(&imx_ltimer->timers);
81 imx_stop_timestamp(&imx_ltimer->timers);
[all...] |