| /seL4-camkes-master/projects/seL4_libs/libsel4vka/src/ |
| H A D | null-vka.c | 57 static uintptr_t utspace_paddr(void *data, seL4_Word target, seL4_Word type, seL4_Word size_bits) argument
52 utspace_free(void *data, seL4_Word type, seL4_Word size_bits, seL4_Word target) argument
|
| H A D | debug-vka.c | 288 utspace_free(void *data, seL4_Word type, seL4_Word size_bits, seL4_Word target) argument
|
| /seL4-camkes-master/kernel/src/arch/arm/object/ |
| H A D | interrupt.c | 86 seL4_Word target = getSyscallArg(4, buffer); local
|
| /seL4-camkes-master/kernel/src/object/ |
| H A D | schedcontrol.c | 13 static exception_t invokeSchedControl_Configure(sched_context_t *target, word_t core, ticks_t budget, argument
[all...] |
| /seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/ |
| H A D | vka.c | 160 static void am_vka_utspace_free (void *data, seL4_Word type, seL4_Word size_bits, seL4_Word target) argument
171 static uintptr_t am_vka_utspace_paddr (void *data, seL4_Word target, seL4_Word type, seL4_Word size_bits) argument
|
| /seL4-camkes-master/kernel/src/arch/arm/machine/ |
| H A D | gic_v2.c | 46 uint32_t target = 0; local
88 uint8_t target = infer_cpu_gic_id(nirqs); local
207 setIRQTarget(irq_t irq, seL4_Word target) argument
[all...] |
| H A D | gic_v3.c | 376 void setIRQTarget(irq_t irq, seL4_Word target) argument
|
| /seL4-camkes-master/projects/lwip/src/include/lwip/apps/ |
| H A D | snmp_threadsync.h | 90 const struct snmp_leaf_node *target; member in struct:snmp_threadsync_node
|
| /seL4-camkes-master/projects/picotcp/modules/ |
| H A D | pico_socket_tcp.c | 200 struct pico_socket *target = NULL; local
|
| H A D | pico_icmp6.c | 465 int pico_icmp6_neighbor_advertisement(struct pico_frame *f, struct pico_ip6 *target) argument
|
| H A D | pico_icmp6.h | 159 struct pico_ip6 target; variable in typeref:struct:pico_ip6
163 struct pico_ip6 target; variable in typeref:struct:pico_ip6
167 struct pico_ip6 target; variable in typeref:struct:pico_ip6
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4bga/src/arch-x86/ |
| H A D | bga.c | 125 char *target; local
|
| /seL4-camkes-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | slab.c | 109 slab_utspace_free(void *data, seL4_Word type, seL4_Word size_bits, seL4_Word target) argument
|
| /seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/src/ |
| H A D | pack_unpack.c | 590 int *target = va_arg(*ap, int*); local
605 json_int_t *target = va_arg(*ap, json_int_t*); local
620 int *target = va_arg(*ap, int*); local
635 double *target = va_arg(*ap, double*); local
650 double *target = va_arg(*ap, double*); local
664 json_t **target = va_arg(*ap, json_t**); local
[all...] |
| /seL4-camkes-master/projects/seL4_libs/libsel4vka/include/vka/ |
| H A D | vka.h | 278 static inline void vka_utspace_free(vka_t *vka, seL4_Word type, seL4_Word size_bits, seL4_Word target) argument
296 static inline uintptr_t vka_utspace_paddr(vka_t *vka, seL4_Word target, seL4_Word type, seL4_Word size_bits) argument
|
| /seL4-camkes-master/kernel/src/api/ |
| H A D | syscall.c | 137 seL4_Word target = getRegister(NODE_STATE(ksCurThread), capRegister); local
|
| /seL4-camkes-master/kernel/src/arch/riscv/machine/ |
| H A D | hardware.c | 238 uint64_t target; local
|
| /seL4-camkes-master/projects/util_libs/libfdt/ |
| H A D | fdt_overlay.c | 601 overlay_apply_node(void *fdt, int target, void *fdto, int node) argument
669 int target; local
741 int root_sym, ov_sym, prop, path_len, fragment, target; local
[all...] |
| /seL4-camkes-master/kernel/libsel4/arch_include/arm/sel4/arch/ |
| H A D | syscalls.h | 648 LIBSEL4_INLINE_FUNC void seL4_DebugSendIPI(seL4_Uint8 target, unsigned irq) argument
|
| /seL4-camkes-master/kernel/src/kernel/ |
| H A D | thread.c | 69 void suspend(tcb_t *target) argument
88 void restart(tcb_t *target) argument
522 possibleSwitchTo(tcb_t *target) argument
[all...] |
| /seL4-camkes-master/projects/projects_libs/libfdtgen/ |
| H A D | fdtgen.c | 101 static int keep_node_and_parents(fdtgen_context_t *handle, int offset, int target) argument
|
| /seL4-camkes-master/projects/lwip/src/apps/snmp/ |
| H A D | snmp_core.c | 548 snmp_oid_assign(struct snmp_obj_id *target, const u32_t *oid, u8_t oid_len) argument
566 snmp_oid_prefix(struct snmp_obj_id *target, const u32_t *oid, u8_t oid_len) argument
591 snmp_oid_combine(struct snmp_obj_id *target, const u32_t *oid1, u8_t oid1_len, const u32_t *oid2, u8_t oid2_len) argument
604 snmp_oid_append(struct snmp_obj_id *target, const u32_t *oid, u8_t oid_len) argument
[all...] |
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/processor/ |
| H A D | lapic.c | 461 vm_lapic_t *target = vcpu->vcpu_arch.lapic; local
|
| /seL4-camkes-master/projects/lwip/src/apps/mdns/ |
| H A D | mdns.c | 790 struct mdns_domain target; local
|
| /seL4-camkes-master/projects/lwip/src/apps/smtp/ |
| H A D | smtp.c | 914 smtp_base64_encode(char* target, size_t target_len, const char* source, size_t source_len) argument
1143 char *target = s->tx_buf; local
1160 char *target = s->tx_buf; local
1177 char *target = s->tx_buf; local
[all...] |