Searched defs:tmr (Results 1 - 6 of 6) sorted by relevance

/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/nvidia/
H A Dtimer.c52 int nv_tmr_start(nv_tmr_t *tmr) argument
59 int nv_tmr_stop(nv_tmr_t *tmr) argument
65 void nv_tmr_destroy(nv_tmr_t *tmr) argument
90 nv_tmr_set_timeout(nv_tmr_t *tmr, bool periodic, uint64_t ns) argument
106 nv_tmr_t *tmr = data; local
118 nv_tmr_get_time(nv_tmr_t *tmr) argument
128 nv_tmr_t *tmr = token; local
142 nv_tmr_t *tmr = token; local
156 nv_tmr_init(nv_tmr_t *tmr, ps_io_ops_t ops, char *device_path, ltimer_callback_fn_t user_callback, void *user_callback_token) argument
[all...]
/seL4-camkes-master/projects/picotcp/stack/
H A Dpico_stack.c559 struct pico_timer *tmr; member in struct:pico_timer_ref
/seL4-camkes-master/projects/lwip/src/core/
H A Ddns.c226 u8_t tmr; member in struct:dns_table_entry
/seL4-camkes-master/projects/lwip/src/include/lwip/
H A Dtcp.h280 u32_t tmr; member in struct:tcp_pcb
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/processor/
H A Dlapic.c379 void vm_apic_update_tmr(vm_vcpu_t *vcpu, uint32_t *tmr) argument
H A Dapicdef.h291 } tmr [8]; member in struct:local_apic_regs

Completed in 66 milliseconds