Searched refs:ns (Results 1 - 25 of 117) sorted by relevance

12345

/seL4-refos-master/libs/libplatsupport/include/platsupport/
H A Ddelay.h15 #define ps_ndelay(ns) ps_udelay((ns) / 1000 + 1)
/seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/
H A Ddelay.h15 #define ps_ndelay(ns) ps_udelay((ns) / 1000 + 1)
/seL4-refos-master/projects/util_libs/libutils/include/utils/
H A Dfrequency.h37 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 Dfrequency.h37 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 Dsys_timer.c53 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 Dsys_timer.c53 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 Dres_msend.c39 } 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 Dlookup.h22 struct address ns[MAXNS]; member in struct:resolvconf
/seL4-refos-master/libs/libplatsupport/plat_include/pc99/platsupport/plat/
H A Dpit.h30 #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 Dpit.h30 #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 Dspt.c121 /* 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 Dsystem_timer.c56 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 Dpit.c53 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 Dspt.c121 /* 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 Dsystem_timer.c56 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 Dpit.c53 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 Dtest.c219 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 Dtest.c219 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 Dltimer.c45 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 Dltimer.c45 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 Dltimer.c44 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 Dltimer.c44 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 Dtimer.h145 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 Dtimer.h145 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 Dltimer.c50 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);

Completed in 170 milliseconds

12345