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

12

/seL4-refos-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...]
H A Dtcb.c444 /* only ipi if the target is for the current domain */
448 /* reschedule if the target core is idle or we are waking a higher priority thread (or
463 * We also request the 'irq_reschedule_ipi' to restore the state of target core */
1671 static inline exception_t installTCBCap(tcb_t *target, cap_t tCap, cte_t *slot, argument
1674 cte_t *rootSlot = TCB_PTR_CTE_PTR(target, index);
1690 exception_t invokeTCB_ThreadControlCaps(tcb_t *target, cte_t *slot, argument
1700 cap_t tCap = cap_thread_cap_new((word_t)target);
1703 e = installTCBCap(target, tCap, slot, tcbFaultHandler, fh_newCap, fh_srcSlot);
1711 e = installTCBCap(target, tCap, slot, tcbTimeoutHandler, th_newCap, th_srcSlot);
1718 e = installTCBCap(target, tCa
1752 invokeTCB_ThreadControl(tcb_t *target, cte_t *slot, cptr_t faultep, prio_t mcp, prio_t priority, cap_t cRoot_newCap, cte_t *cRoot_srcSlot, cap_t vRoot_newCap, cte_t *vRoot_srcSlot, word_t bufferAddr, cap_t bufferCap, cte_t *bufferSrcSlot, thread_control_flag_t updateFlags) argument
1828 invokeTCB_ThreadControlSched(tcb_t *target, cte_t *slot, cap_t fh_newCap, cte_t *fh_srcSlot, prio_t mcp, prio_t priority, sched_context_t *sc, thread_control_flag_t updateFlags) argument
[all...]
/seL4-refos-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-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dwield.c598 erode_obj(target, acid_dmg, fade_scrolls)
599 struct obj *target; /* object (e.g. weapon or armor) to erode */
608 if (!target)
610 victim = carried(target) ? &youmonst :
611 mcarried(target) ? target->ocarry : (struct monst *)0;
615 erosion = acid_dmg ? target->oeroded2 : target->oeroded;
617 if (target->greased) {
618 grease_protect(target,(cha
[all...]
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dwield.c598 erode_obj(target, acid_dmg, fade_scrolls)
599 struct obj *target; /* object (e.g. weapon or armor) to erode */
608 if (!target)
610 victim = carried(target) ? &youmonst :
611 mcarried(target) ? target->ocarry : (struct monst *)0;
615 erosion = acid_dmg ? target->oeroded2 : target->oeroded;
617 if (target->greased) {
618 grease_protect(target,(cha
[all...]
/seL4-refos-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-refos-master/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-refos-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-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/sys/unix/
H A Ddepend.awk11 # to the .o target.
81 format_dep(alt_sp, sp) #output the target
89 # write a target and its dependency list in pretty-printed format;
90 # if target's primary source file has a path prefix, also write build command
92 function format_dep(target, source, n, i, list)
95 printf("%s:", target); col = length(target) + 1
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/sys/unix/
H A Ddepend.awk11 # to the .o target.
81 format_dep(alt_sp, sp) #output the target
89 # write a target and its dependency list in pretty-printed format;
90 # if target's primary source file has a path prefix, also write build command
92 function format_dep(target, source, n, i, list)
95 printf("%s:", target); col = length(target) + 1
/seL4-refos-master/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-refos-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-refos-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-refos-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-refos-master/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-refos-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-refos-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-refos-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-refos-master/libs/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-refos-master/libs/libmuslc/
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...]
H A DMakefile58 --target=${TARGET} --enable-warnings --disable-shared --enable-static
62 # do a clean as muslc does not rebuild in the same directory correctly if you change the target
/seL4-refos-master/kernel/include/arch/arm/arch/
H A Dmachine.h28 void setIRQTarget(irq_t irq, seL4_Word target);
/seL4-refos-master/kernel/src/machine/
H A Dcapdl.c326 for (seL4_Word target = 0; target < CONFIG_MAX_NUM_NODES; target++) {
328 irq_t irq = CORE_IRQ_TO_IRQT(target, i);
339 (long unsigned int)target);

Completed in 258 milliseconds

12