Searched refs:spt (Results 1 - 6 of 6) sorted by relevance
| /seL4-refos-master/libs/libplatsupport/src/plat/bcm2837/ |
| H A D | spt.c | 20 #include <platsupport/plat/spt.h>
101 int spt_start(spt_t *spt) argument
103 if (spt == NULL) {
107 spt->regs->ctrl = BIT(FREE_RUN_ENABLE) | BIT(COUNTER_WIDTH_BIT);
111 int spt_stop(spt_t *spt) argument
113 if (!spt) {
117 spt->regs->ctrl = 0;
124 int spt_set_timeout(spt_t *spt, uint64_t ns) argument
126 if (!spt) {
129 uint64_t ticks = ns / (NS_IN_US / (spt
163 spt_handle_irq(spt_t *spt) argument
178 spt_get_time(spt_t *spt) argument
188 spt_init(spt_t *spt, spt_config_t config) argument
[all...] |
| H A D | ltimer.c | 19 #include <platsupport/plat/spt.h>
35 spt_t spt; member in struct:__anon20
99 spt_handle_irq(&spt_ltimer->spt);
101 spt_set_timeout(&spt_ltimer->spt, spt_ltimer->period);
149 return spt_set_timeout(&spt_ltimer->spt, ns);
159 spt_stop(&spt_ltimer->spt);
160 spt_start(&spt_ltimer->spt);
171 spt_stop(&spt_ltimer->spt);
242 /* setup spt */
247 spt_init(&spt_ltimer->spt, spt_confi
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
| H A D | spt.c | 20 #include <platsupport/plat/spt.h>
101 int spt_start(spt_t *spt) argument
103 if (spt == NULL) {
107 spt->regs->ctrl = BIT(FREE_RUN_ENABLE) | BIT(COUNTER_WIDTH_BIT);
111 int spt_stop(spt_t *spt) argument
113 if (!spt) {
117 spt->regs->ctrl = 0;
124 int spt_set_timeout(spt_t *spt, uint64_t ns) argument
126 if (!spt) {
129 uint64_t ticks = ns / (NS_IN_US / (spt
163 spt_handle_irq(spt_t *spt) argument
178 spt_get_time(spt_t *spt) argument
188 spt_init(spt_t *spt, spt_config_t config) argument
[all...] |
| H A D | ltimer.c | 19 #include <platsupport/plat/spt.h>
35 spt_t spt; member in struct:__anon61
99 spt_handle_irq(&spt_ltimer->spt);
101 spt_set_timeout(&spt_ltimer->spt, spt_ltimer->period);
149 return spt_set_timeout(&spt_ltimer->spt, ns);
159 spt_stop(&spt_ltimer->spt);
160 spt_start(&spt_ltimer->spt);
171 spt_stop(&spt_ltimer->spt);
242 /* setup spt */
247 spt_init(&spt_ltimer->spt, spt_confi
[all...] |
| /seL4-refos-master/libs/libplatsupport/plat_include/bcm2837/platsupport/plat/ |
| H A D | spt.h | 56 int spt_init(spt_t *spt, spt_config_t config);
57 uint64_t spt_get_time(spt_t *spt);
58 int spt_handle_irq(spt_t *spt);
59 int spt_set_timeout(spt_t *spt, uint64_t ns);
60 int spt_stop(spt_t *spt);
61 int spt_start(spt_t *spt);
|
| /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/bcm2837/platsupport/plat/ |
| H A D | spt.h | 56 int spt_init(spt_t *spt, spt_config_t config);
57 uint64_t spt_get_time(spt_t *spt);
58 int spt_handle_irq(spt_t *spt);
59 int spt_set_timeout(spt_t *spt, uint64_t ns);
60 int spt_stop(spt_t *spt);
61 int spt_start(spt_t *spt);
|
Completed in 39 milliseconds