Searched defs:current (Results 1 - 12 of 12) sorted by relevance

/seL4-refos-master/libs/libsel4muslcsys/include/muslcsys/
H A Dio.h31 off_t current; member in struct:cpio_file_data
/seL4-refos-master/projects/seL4_libs/libsel4muslcsys/include/muslcsys/
H A Dio.h31 off_t current; member in struct:cpio_file_data
/seL4-refos-master/libs/libsel4platsupport/src/
H A Dio.c114 io_mapping_t *current; local
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/
H A Dio.c114 io_mapping_t *current; local
/seL4-refos-master/kernel/src/kernel/
H A Dsporadic.c52 word_t current = sc->scRefillHead; local
67 word_t current = sc->scRefillHead; local
102 word_t current = sc->scRefillHead; local
[all...]
/seL4-refos-master/kernel/src/machine/
H A Dcapdl.c113 word_t current = sc->scRefillHead; local
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dbootstrap.c419 int sel4utils_bootstrap_clone_into_vspace(vspace_t *current, vspace_t *clone, reservation_t image) argument
H A Dvspace.c82 sel4utils_res_t *current = prev->next; local
109 sel4utils_res_t *current = prev->next; local
239 sel4utils_res_t *current = data->reservation_head; local
259 uintptr_t current = start; local
[all...]
/seL4-refos-master/libs/libsel4utils/src/vspace/
H A Dbootstrap.c419 int sel4utils_bootstrap_clone_into_vspace(vspace_t *current, vspace_t *clone, reservation_t image) argument
H A Dvspace.c82 sel4utils_res_t *current = prev->next; local
109 sel4utils_res_t *current = prev->next; local
239 sel4utils_res_t *current = data->reservation_head; local
259 uintptr_t current = start; local
[all...]
/seL4-refos-master/libs/libmuslc/src/regex/
H A Dtre.h185 tre_list_t *current; member in struct:tre_mem_struct
/seL4-refos-master/libs/libmuslc/ldso/
H A Ddynlink.c1895 struct dso *current; local
[all...]

Completed in 114 milliseconds