/seL4-refos-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...] |
H A D | tcb.c | 444 /* 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 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-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | wield.c | 598 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 D | wield.c | 598 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 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-refos-master/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-refos-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-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/sys/unix/ |
H A D | depend.awk | 11 # 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 D | depend.awk | 11 # 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 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-refos-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-refos-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-refos-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-refos-master/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-refos-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-refos-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-refos-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-refos-master/libs/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-refos-master/libs/libmuslc/ |
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...] |
H A D | Makefile | 58 --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 D | machine.h | 28 void setIRQTarget(irq_t irq, seL4_Word target);
|
/seL4-refos-master/kernel/src/machine/ |
H A D | capdl.c | 326 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);
|