Searched refs:ltimer_hpet_describe (Results 1 - 2 of 2) sorted by relevance
| /seL4-test-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/ |
| H A D | timer.h | 32 int ltimer_hpet_describe(ltimer_t *ltimer, ps_io_ops_t ops, ps_irq_t irq, pmem_region_t hpet_region);
|
| /seL4-test-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
| H A D | ltimer.c | 383 int error = ltimer_hpet_describe(ltimer, ops, irq, region);
498 return ltimer_hpet_describe(ltimer, ops, *irq, region);
526 int ltimer_hpet_describe(ltimer_t *ltimer, ps_io_ops_t ops, ps_irq_t irq, pmem_region_t region) function
|
Completed in 54 milliseconds