/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/ |
H A D | rsdt.h | 40 acpi_rsdt_next(acpi_rsdt_t* hdr, uint32_t* cur) argument
|
H A D | xsdt.h | 40 acpi_xsdt_next(acpi_xsdt_t* hdr, uint64_t* cur) argument
|
H A D | erst.h | 44 acpi_erst_next(acpi_erst_t* hdr, acpi_erst_entry_t* cur) argument
|
H A D | mcfg.h | 40 acpi_mcfg_desc_next(acpi_mcfg_t* mcfg, acpi_mcfg_desc_t* cur) argument
|
H A D | asf.h | 118 acpi_asf_next_rec(acpi_asf_hdr_t* h, acpi_asf_rec_hdr_t* cur) argument 138 acpi_asf_alrt_next_dev(acpi_asf_alrt_t* h, acpi_asf_dev_array_t* cur) argument 160 acpi_asf_rtcl_next_ctl(acpi_asf_rctl_t* h, acpi_asf_ctl_array_t* cur) argument 184 acpi_asf_addr_smb_next(acpi_asf_addr_t* h, acpi_asf_addr_smb_t* cur) argument [all...] |
/seL4-camkes-master/projects/musllibc/src/linux/ |
H A D | timerfd.c | 14 int timerfd_gettime(int fd, struct itimerspec *cur) argument
|
/seL4-camkes-master/projects/musllibc/src/malloc/ |
H A D | lite_malloc.c | 13 static char *cur, *end; local
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/ehci/ |
H A D | periodic.c | 24 struct QHn *cur; local 105 struct QHn *cur; local [all...] |
/seL4-camkes-master/projects/musllibc/src/thread/ |
H A D | pthread_cond_timedwait.c | 181 int cur; local
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/ |
H A D | page_dma.c | 171 uintptr_t cur = (uintptr_t)addr; local
|
/seL4-camkes-master/projects/projects_libs/libvirtqueue/include/ |
H A D | virtqueue.h | 58 uint32_t cur; /* The current index in desc table */ member in struct:virtqueue_ring_object
|
/seL4-camkes-master/projects/projects_libs/libvirtqueue/src/ |
H A D | virtqueue.c | 157 unsigned cur = vq->used_ring->idx; local 187 unsigned cur local [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | printer.c | 233 acpi_mcfg_desc_t* cur = acpi_mcfg_desc_first(mcfg); local
|
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_fragments.c | 219 struct pico_frame *cur; local
|
H A D | pico_olsr.c | 123 struct olsr_dev_entry *cur = Local_devices; local 135 struct olsr_route_entry *cur = Local_interfaces; local 198 struct olsr_route_entry *cur, *prev = NULL, *lst; local [all...] |
H A D | pico_tcp.c | 166 static void *next_segment(struct pico_tcp_queue *tq, void *cur) argument 367 void *cur = head; local 2023 uint32_t una, nxt, ack, cur; local [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4simple-default/src/ |
H A D | libsel4simple-default.c | 220 uintptr_t cur = (uintptr_t)bi + PAGE_SIZE_4K; local 242 uintptr_t cur = (uintptr_t)bi + PAGE_SIZE_4K; local [all...] |
/seL4-camkes-master/projects/lwip/test/unit/tcp/ |
H A D | test_tcp.c | 1192 struct tcp_pcb *pcb, *cur; local 1289 struct tcp_pcb *pcb, *cur; local 1385 struct tcp_pcb *pcb, *cur; local [all...] |
/seL4-camkes-master/projects/lwip/src/core/ |
H A D | mem.c | 932 struct mem *cur = lfree; local
|
/seL4-camkes-master/projects/lwip/src/apps/http/makefsdata/ |
H A D | makefsdata.c | 1228 unsigned char cur = ascii_string[x]; local 1242 unsigned char cur = ascii_string[x]; local
|
/seL4-camkes-master/projects/capdl/capdl-loader-app/src/ |
H A D | main.c | 1908 uintptr_t cur = (uintptr_t)bi + PAGE_SIZE_4K; local
|