/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 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 D | stage2.py | 53 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 D | gic_v2.c | 39 /* 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 D | thread.c | 69 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 D | vka.h | 103 * @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 D | null-vka.c | 53 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 D | debug-vka.c | 38 * 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 D | fdt_overlay.c | 60 * 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 D | interrupt.c | 86 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 D | smtp.c | 245 /** 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 D | vka.c | 158 * @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 D | snmp_threadsync.h | 90 const struct snmp_leaf_node *target; member in struct:snmp_threadsync_node
|
/seL4-camkes-master/kernel/src/arch/riscv/machine/ |
H A D | hardware.c | 238 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 D | chap_api_aodv.tex | 17 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 D | chap_api_olsr.tex | 24 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 D | chap_api_ppp.tex | 59 \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 D | pack_unpack.c | 590 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 D | bga.c | 125 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 D | snmp_core.c | 543 * @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 D | syscalls.h | 126 * 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 D | ckeywords.c | 75 #define ALIAS(string, target, category) KEYWORD_(string, category)
|
/seL4-camkes-master/projects/picotcp/modules/ |
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 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 D | clock.c | 93 #error mul64_32 not supported for target architecture
|
/seL4-camkes-master/projects/musllibc/ |
H A D | configure | 26 --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 D | ip_addr.h | 194 #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)
|