Searched refs:target (Results 1 - 25 of 72) sorted by relevance

123

/seL4-camkes-master/kernel/src/object/
H A Dschedcontrol.c13 static exception_t invokeSchedControl_Configure(sched_context_t *target, word_t core, ticks_t budget, argument
17 target->scBadge = badge;
20 if (target->scTcb) {
22 SMP_COND_STATEMENT(remoteTCBStall(target->scTcb));
24 tcbReleaseRemove(target->scTcb);
25 tcbSchedDequeue(target->scTcb);
27 if (NODE_STATE_ON_CORE(ksCurSC, target->scCore) == target) {
29 if (target->scCore == getCurrentCPUIndex()) {
38 chargeBudget(NODE_STATE_ON_CORE(ksConsumed, target
[all...]
/seL4-camkes-master/projects/camkes-tool/camkes/parser/
H A Dstage2.py53 target = None
67 target = os.path.abspath(import_content)
69 target = os.path.abspath(os.path.join(
71 if not os.path.exists(target):
72 target = None
78 target = os.path.abspath(os.path.join(prefix,
80 if os.path.exists(target):
83 target = None
85 if target is None:
92 if target i
[all...]
/seL4-camkes-master/kernel/src/arch/arm/machine/
H A Dgic_v2.c39 /* Get the target id for this processor. We rely on the constraint that the registers
40 * for PPI are read only and return only the current processor as the target.
46 uint32_t target = 0; local
48 target = gic_dist->targets[i >> 2];
49 target |= target >> 16;
50 target |= target >> 8;
51 if (target) {
55 if (!target) {
88 uint8_t target = infer_cpu_gic_id(nirqs); local
207 setIRQTarget(irq_t irq, seL4_Word target) argument
[all...]
/seL4-camkes-master/kernel/src/kernel/
H A Dthread.c69 void suspend(tcb_t *target) argument
71 cancelIPC(target);
72 if (thread_state_get_tsType(target->tcbState) == ThreadState_Running) {
78 updateRestartPC(target);
80 setThreadState(target, ThreadState_Inactive);
81 tcbSchedDequeue(target);
83 tcbReleaseRemove(target);
84 schedContext_cancelYieldTo(target);
88 void restart(tcb_t *target) argument
90 if (isStopped(target)) {
522 possibleSwitchTo(tcb_t *target) argument
[all...]
/seL4-camkes-master/projects/seL4_libs/libsel4vka/include/vka/
H A Dvka.h103 * @param target cookie to the allocation as given by the utspace alloc function
105 typedef void (*vka_utspace_free_fn)(void *data, seL4_Word type, seL4_Word size_bits, seL4_Word target);
111 * @param target cookie to the allocation as given by the utspace alloc function
116 typedef uintptr_t (*vka_utspace_paddr_fn)(void *data, seL4_Word target, seL4_Word type, seL4_Word size_bits);
278 static inline void vka_utspace_free(vka_t *vka, seL4_Word type, seL4_Word size_bits, seL4_Word target) argument
293 vka->utspace_free(vka->data, type, size_bits, target);
296 static inline uintptr_t vka_utspace_paddr(vka_t *vka, seL4_Word target, seL4_Word type, seL4_Word size_bits) argument
309 return vka->utspace_paddr(vka->data, target, type, size_bits);
/seL4-camkes-master/projects/seL4_libs/libsel4vka/src/
H A Dnull-vka.c53 seL4_Word target)
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 Ddebug-vka.c38 * effectively our debugging target if we're troubleshooting problems with
289 seL4_Word target)
295 if (target != 0) {
297 untrack_obj(s, type, size_bits, target);
299 v->utspace_free(v->data, type, size_bits, target);
288 utspace_free(void *data, seL4_Word type, seL4_Word size_bits, seL4_Word target) argument
/seL4-camkes-master/projects/util_libs/libfdt/
H A Dfdt_overlay.c60 * overlay_get_target_phandle - retrieves the target phandle of a fragment
64 * overlay_get_target_phandle() retrieves the target phandle of an
65 * overlay fragment when that fragment uses a phandle (target
66 * property) instead of a path (target-path property).
69 * the phandle pointed by the target property
78 val = fdt_getprop(fdto, fragment, "target", &len);
89 * overlay_get_target - retrieves the offset of a fragment's target
93 * @pathp: pointer which receives the path of the target (or NULL)
95 * overlay_get_target() retrieves the target offset in the base
118 path = fdt_getprop(fdto, fragment, "target
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/src/arch/arm/object/
H A Dinterrupt.c86 seL4_Word target = getSyscallArg(4, buffer); local
89 irq_t irq = CORE_IRQ_TO_IRQT(target, irq_w);
95 if (target >= CONFIG_MAX_NUM_NODES) {
97 userError("Target core %lu is invalid.", target);
126 * target core to which the shared interrupt will be physically delivered.
129 setIRQTarget(irq, target);
/seL4-camkes-master/projects/lwip/src/apps/smtp/
H A Dsmtp.c245 /** target email address */
247 /** size of the target email address */
307 static size_t smtp_base64_encode(char* target, size_t target_len, const char* source, size_t source_len);
575 * @param to target email address (must be NULL-terminated)
619 /* copy source and target email address */
914 smtp_base64_encode(char* target, size_t target_len, const char* source, size_t source_len) argument
935 target[target_idx++] = base64_table[current];
942 target[i] = '=';
1143 char *target = s->tx_buf; local
1146 target[*tx_buf_le
1160 char *target = s->tx_buf; local
1177 char *target = s->tx_buf; local
[all...]
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/
H A Dvka.c158 * @param target cookie to the allocation as given by the utspace alloc function
160 static void am_vka_utspace_free (void *data, seL4_Word type, seL4_Word size_bits, seL4_Word target) argument
168 allocman_utspace_free((allocman_t *)data, target, size_bits);
171 static uintptr_t am_vka_utspace_paddr (void *data, seL4_Word target, seL4_Word type, seL4_Word size_bits) argument
179 return allocman_utspace_paddr((allocman_t *)data, target, size_bits);
/seL4-camkes-master/projects/lwip/src/include/lwip/apps/
H A Dsnmp_threadsync.h90 const struct snmp_leaf_node *target; member in struct:snmp_threadsync_node
/seL4-camkes-master/kernel/src/arch/riscv/machine/
H A Dhardware.c238 uint64_t target; local
242 target = riscv_read_time() + RESET_CYCLES;
243 sbi_set_timer(target);
244 } while (riscv_read_time() > target);
/seL4-camkes-master/projects/picotcp/docs/user_manual/
H A Dchap_api_aodv.tex17 This function will add the target device to the AODV mechanism on the machine,
20 target device.
30 \item \texttt{dev} - a pointer to a struct \texttt{pico\_device} specifying the target interface.
H A Dchap_api_olsr.tex24 This function will add the target device to the OLSR mechanism on the machine,
27 target device.
37 \item \texttt{dev} - a pointer to a struct \texttt{pico\_device} specifying the target interface.
H A Dchap_api_ppp.tex59 \item \texttt{dev} - a pointer to a struct \texttt{pico\_device} specifying the target interface.
61 specifying the target serial read function. The function prototype will be called with the device pointer,
92 \item \texttt{dev} - a pointer to a struct \texttt{pico\_device} specifying the target interface.
94 specifying the target serial write function. The function prototype will be called with the device pointer,
124 \item \texttt{dev} - a pointer to a struct \texttt{pico\_device} specifying the target interface.
126 specifying the target serial set\_speed function. The function prototype will be called with the device pointer and
155 \item \texttt{dev} - a pointer to a struct \texttt{pico\_device} specifying the target interface.
177 \item \texttt{dev} - a pointer to a struct \texttt{pico\_device} specifying the target interface.
199 \item \texttt{dev} - a pointer to a struct \texttt{pico\_device} specifying the target interface.
224 \item \texttt{dev} - a pointer to a struct \texttt{pico\_device} specifying the target interfac
[all...]
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/src/
H A Dpack_unpack.c590 int *target = va_arg(*ap, int*); local
592 *target = (int)json_integer_value(root);
605 json_int_t *target = va_arg(*ap, json_int_t*); local
607 *target = json_integer_value(root);
620 int *target = va_arg(*ap, int*); local
622 *target = json_is_true(root);
635 double *target = va_arg(*ap, double*); local
637 *target = json_real_value(root);
650 double *target = va_arg(*ap, double*); local
652 *target
664 json_t **target = va_arg(*ap, json_t**); local
[all...]
/seL4-camkes-master/projects/seL4_projects_libs/libsel4bga/src/arch-x86/
H A Dbga.c125 char *target; local
162 target = ((char *)device->framebuffer) + (y * device->width + x) * coord_factor;
163 (void)memcpy(target, value, len);
/seL4-camkes-master/projects/lwip/src/apps/snmp/
H A Dsnmp_core.c543 * @param target Assignment target
548 snmp_oid_assign(struct snmp_obj_id *target, const u32_t *oid, u8_t oid_len) argument
552 target->len = oid_len;
555 MEMCPY(target->id, oid, oid_len * sizeof(u32_t));
561 * @param target Assignment target to prefix
566 snmp_oid_prefix(struct snmp_obj_id *target, const u32_t *oid, u8_t oid_len) argument
568 LWIP_ASSERT("target->len + oid_len <= SNMP_MAX_OBJ_ID_LEN", (target
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/kernel/libsel4/include/sel4/
H A Dsyscalls.h126 * Send an arbitrary SGI (core-specific interrupt 0-15) to the specified target core.
128 * @param target The target core ID.
133 seL4_DebugSendIPI(seL4_Uint8 target, unsigned irq);
/seL4-camkes-master/projects/camkes-tool/tools/
H A Dckeywords.c75 #define ALIAS(string, target, category) KEYWORD_(string, category)
/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_icmp6.h159 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
311 int pico_icmp6_neighbor_advertisement(struct pico_frame *f, struct pico_ip6 *target);
/seL4-camkes-master/tools/rumprun/platform/sel4/arch/x86/
H A Dclock.c93 #error mul64_32 not supported for target architecture
/seL4-camkes-master/projects/musllibc/
H A Dconfigure26 --target=TARGET configure to run on target TARGET [detected]
27 --host=HOST same as --target
134 target=
176 --host=*|--target=*) target=${arg#*=} ;;
186 *) build=$arg ; target=$arg ;;
223 test "$target" && \
224 test "$target" != "$build" && \
226 CROSS_COMPILE="$target
[all...]
/seL4-camkes-master/projects/lwip/src/include/lwip/
H A Dip_addr.h194 #define ip_addr_get_network(target, host, netmask) do{if(IP_IS_V6(host)){ \
195 ip4_addr_set_zero(ip_2_ip4(target)); IP_SET_TYPE(target, IPADDR_TYPE_V6); } else { \
196 ip4_addr_get_network(ip_2_ip4(target), ip_2_ip4(host), ip_2_ip4(netmask)); IP_SET_TYPE(target, IPADDR_TYPE_V4); }}while(0)
297 #define ip_addr_get_network(target, host, mask) ip4_addr_get_network(target, host, mask)
344 #define ip_addr_get_network(target, host, mask) ip6_addr_set_zero(target)

Completed in 236 milliseconds

123