/seL4-refos-master/libs/libplatsupport/include/platsupport/ |
H A D | delay.h | 15 #define ps_ndelay(ns) ps_udelay((ns) / 1000 + 1)
|
/seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | delay.h | 15 #define ps_ndelay(ns) ps_udelay((ns) / 1000 + 1)
|
/seL4-refos-master/projects/util_libs/libutils/include/utils/ |
H A D | frequency.h | 37 static inline freq_t freq_cycles_and_ns_to_hz(uint64_t ncycles, uint64_t ns) argument 39 return (ncycles * NS_IN_S) / ns; 42 static inline uint64_t freq_ns_and_hz_to_cycles(uint64_t ns, freq_t hz) argument 44 return (ns * hz) / NS_IN_S;
|
/seL4-refos-master/libs/libutils/include/utils/ |
H A D | frequency.h | 37 static inline freq_t freq_cycles_and_ns_to_hz(uint64_t ncycles, uint64_t ns) argument 39 return (ncycles * NS_IN_S) / ns; 42 static inline uint64_t freq_ns_and_hz_to_cycles(uint64_t ns, freq_t hz) argument 44 return (ns * hz) / NS_IN_S;
|
/seL4-refos-master/libs/librefossys/src/ |
H A D | sys_timer.c | 53 uint64_t ns = (uint64_t) rem->tv_nsec; local 54 ns += rem->tv_sec * 1000000000UL; 56 int res = fwrite(&ns, sizeof(uint64_t), 1, refosIOState.timerFD); 84 uint64_t ns = 0; local 91 (char*) &ns, sizeof(uint64_t)); 94 tp->tv_sec = ns / 1000000000UL; 95 tp->tv_nsec = ns % 1000000000UL;
|
/seL4-refos-master/projects/refos/impl/libs/librefossys/src/ |
H A D | sys_timer.c | 53 uint64_t ns = (uint64_t) rem->tv_nsec; local 54 ns += rem->tv_sec * 1000000000UL; 56 int res = fwrite(&ns, sizeof(uint64_t), 1, refosIOState.timerFD); 84 uint64_t ns = 0; local 91 (char*) &ns, sizeof(uint64_t)); 94 tp->tv_sec = ns / 1000000000UL; 95 tp->tv_nsec = ns % 1000000000UL;
|
/seL4-refos-master/libs/libmuslc/src/network/ |
H A D | res_msend.c | 39 } sa = {0}, ns[MAXNS] = {{0}}; local 56 const struct address *iplit = &conf->ns[nns]; 58 memcpy(&ns[nns].sin.sin_addr, iplit->addr, 4); 59 ns[nns].sin.sin_port = htons(53); 60 ns[nns].sin.sin_family = AF_INET; 63 memcpy(&ns[nns].sin6.sin6_addr, iplit->addr, 16); 64 ns[nns].sin6.sin6_port = htons(53); 65 ns[nns].sin6.sin6_scope_id = iplit->scopeid; 66 ns[nns].sin6.sin6_family = family = AF_INET6; 92 if (ns[ [all...] |
H A D | lookup.h | 22 struct address ns[MAXNS]; member in struct:resolvconf
|
/seL4-refos-master/libs/libplatsupport/plat_include/pc99/platsupport/plat/ |
H A D | pit.h | 30 #define PIT_NS_TO_TICKS(ns) ((ns) * TICKS_PER_SECOND / NS_IN_S) 65 int pit_set_timeout(pit_t *pit, uint64_t ns, bool periodic);
|
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/ |
H A D | pit.h | 30 #define PIT_NS_TO_TICKS(ns) ((ns) * TICKS_PER_SECOND / NS_IN_S) 65 int pit_set_timeout(pit_t *pit, uint64_t ns, bool periodic);
|
/seL4-refos-master/libs/libplatsupport/src/plat/bcm2837/ |
H A D | spt.c | 121 /* Set up the timer to fire an interrupt every ns nanoseconds. 122 * The first such interrupt may arrive before ns nanoseconds 124 int spt_set_timeout(spt_t *spt, uint64_t ns) argument 129 uint64_t ticks = ns / (NS_IN_US / (spt->freq / MHZ)); 131 spt->counter_start = ns; 133 ZF_LOGE("ns too low: %llu\n", ns); 143 ZF_LOGE("ns too high: %llu\n", ns); 181 /* convert raw count to ns 184 uint64_t ns = (value * MHZ / spt->freq) * NS_IN_US; local [all...] |
H A D | system_timer.c | 56 int system_timer_set_timeout(system_timer_t *timer, uint64_t ns) { argument 64 uint64_t timeout_ticks = ns / SYSTEM_TIMER_NS_PER_TICK; 80 if (time >= ns && !(timer->regs->ctrl & BIT(SYSTEM_TIMER_MATCH))) {
|
/seL4-refos-master/libs/libplatsupport/src/plat/pc99/ |
H A D | pit.c | 53 configure_pit(pit_t *pit, uint8_t mode, uint64_t ns) argument 58 if (ns > PIT_MAX_NS || ns < PIT_MIN_NS) { 59 ZF_LOGV("ns invalid for programming PIT %"PRIu64" <= %"PRIu64" <= %"PRIu64"\n", 60 (uint64_t)PIT_MIN_NS, ns, (uint64_t)PIT_MAX_NS); 64 uint64_t ticks = PIT_NS_TO_TICKS(ns); 124 int pit_set_timeout(pit_t *pit, uint64_t ns, bool periodic) argument 127 return configure_pit(pit, mode, ns);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
H A D | spt.c | 121 /* Set up the timer to fire an interrupt every ns nanoseconds. 122 * The first such interrupt may arrive before ns nanoseconds 124 int spt_set_timeout(spt_t *spt, uint64_t ns) argument 129 uint64_t ticks = ns / (NS_IN_US / (spt->freq / MHZ)); 131 spt->counter_start = ns; 133 ZF_LOGE("ns too low: %llu\n", ns); 143 ZF_LOGE("ns too high: %llu\n", ns); 181 /* convert raw count to ns 184 uint64_t ns = (value * MHZ / spt->freq) * NS_IN_US; local [all...] |
H A D | system_timer.c | 56 int system_timer_set_timeout(system_timer_t *timer, uint64_t ns) { argument 64 uint64_t timeout_ticks = ns / SYSTEM_TIMER_NS_PER_TICK; 80 if (time >= ns && !(timer->regs->ctrl & BIT(SYSTEM_TIMER_MATCH))) {
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | pit.c | 53 configure_pit(pit_t *pit, uint8_t mode, uint64_t ns) argument 58 if (ns > PIT_MAX_NS || ns < PIT_MIN_NS) { 59 ZF_LOGV("ns invalid for programming PIT %"PRIu64" <= %"PRIu64" <= %"PRIu64"\n", 60 (uint64_t)PIT_MIN_NS, ns, (uint64_t)PIT_MAX_NS); 64 uint64_t ticks = PIT_NS_TO_TICKS(ns); 124 int pit_set_timeout(pit_t *pit, uint64_t ns, bool periodic) argument 127 return configure_pit(pit, mode, ns);
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/test/ |
H A D | test.c | 219 nameserv_state_t ns; local 220 nameserv_init(&ns, test_nameserv_callback_freecap); 223 error = nameserv_add(&ns, "hello_test", 0x12345); 225 error = nameserv_add(&ns, "kitty_test", 0x12345); 227 error = nameserv_add(&ns, "foo_test", 0x12345); 234 n = nameserv_resolve(&ns, "hello.txt", NULL); 240 n = nameserv_resolve(&ns, "hello_test/hello.txt", &anonCap); 246 n = nameserv_resolve(&ns, "hello_test/hi/bye/hello_foo.txt", &anonCap); 252 n = nameserv_resolve(&ns, "/kitty_test/hi/bye/hello_foo.txt", &anonCap); 258 n = nameserv_resolve(&ns, "food_tes [all...] |
/seL4-refos-master/apps/process_server/src/test/ |
H A D | test.c | 219 nameserv_state_t ns; local 220 nameserv_init(&ns, test_nameserv_callback_freecap); 223 error = nameserv_add(&ns, "hello_test", 0x12345); 225 error = nameserv_add(&ns, "kitty_test", 0x12345); 227 error = nameserv_add(&ns, "foo_test", 0x12345); 234 n = nameserv_resolve(&ns, "hello.txt", NULL); 240 n = nameserv_resolve(&ns, "hello_test/hello.txt", &anonCap); 246 n = nameserv_resolve(&ns, "hello_test/hi/bye/hello_foo.txt", &anonCap); 252 n = nameserv_resolve(&ns, "/kitty_test/hi/bye/hello_foo.txt", &anonCap); 258 n = nameserv_resolve(&ns, "food_tes [all...] |
/seL4-refos-master/libs/libplatsupport/src/mach/exynos/ |
H A D | ltimer.c | 45 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument 53 if (time >= ns) { 56 return pwm_set_timeout(&pwm_ltimer->pwm, ns - time, false); 59 return pwm_set_timeout(&pwm_ltimer->pwm, ns, false); 61 return pwm_set_timeout(&pwm_ltimer->pwm, ns, true);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | ltimer.c | 45 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument 53 if (time >= ns) { 56 return pwm_set_timeout(&pwm_ltimer->pwm, ns - time, false); 59 return pwm_set_timeout(&pwm_ltimer->pwm, ns, false); 61 return pwm_set_timeout(&pwm_ltimer->pwm, ns, true);
|
/seL4-refos-master/libs/libplatsupport/src/mach/omap/ |
H A D | ltimer.c | 44 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument 51 if (ns <= time) { 54 ns -= time; 57 if (ns >= gpt_get_max()) { 63 ns = gpt_get_max(); 67 return rel_gpt_set_timeout(&omap_ltimer->rel_gpt, ns, type == TIMEOUT_PERIODIC);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/omap/ |
H A D | ltimer.c | 44 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument 51 if (ns <= time) { 54 ns -= time; 57 if (ns >= gpt_get_max()) { 63 ns = gpt_get_max(); 67 return rel_gpt_set_timeout(&omap_ltimer->rel_gpt, ns, type == TIMEOUT_PERIODIC);
|
/seL4-refos-master/libs/libplatsupport/plat_include/apq8064/platsupport/plat/ |
H A D | timer.h | 145 int gpt_periodic(timer_t *timer, uint64_t ns); 150 int dgt_periodic(timer_t *timer, uint64_t ns); 156 int tmr_periodic(timer_t *timer, uint64_t ns); 161 int wdt_periodic(timer_t *timer, uint64_t ns);
|
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/apq8064/platsupport/plat/ |
H A D | timer.h | 145 int gpt_periodic(timer_t *timer, uint64_t ns); 150 int dgt_periodic(timer_t *timer, uint64_t ns); 156 int tmr_periodic(timer_t *timer, uint64_t ns); 161 int wdt_periodic(timer_t *timer, uint64_t ns);
|
/seL4-refos-master/libs/libplatsupport/src/mach/nvidia/ |
H A D | ltimer.c | 50 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument 58 if (time >= ns) { 61 return nv_tmr_set_timeout(&nv_tmr_ltimer->nv_tmr, false, ns - time); 65 return nv_tmr_set_timeout(&nv_tmr_ltimer->nv_tmr, (type == TIMEOUT_PERIODIC), ns);
|