Searched refs:from (Results 1 - 25 of 39) sorted by relevance

12

/seL4-test-master/projects/musllibc/src/linux/
H A Dioperm.c6 int ioperm(unsigned long from, unsigned long num, int turn_on) argument
8 return syscall(SYS_ioperm, from, num, turn_on);
/seL4-test-master/projects/musllibc/src/signal/mips64/
H A Dsigsetjmp.s19 # once we return from 'longjmp'
25 move $5, $2 # Return from 'setjmp' or 'longjmp'
/seL4-test-master/projects/musllibc/src/signal/mipsn32/
H A Dsigsetjmp.s19 # once we return from 'longjmp'
25 move $5, $2 # Return from 'setjmp' or 'longjmp'
/seL4-test-master/projects/seL4_libs/libsel4vspace/src/
H A Dvspace.c75 void *vspace_share_mem(vspace_t *from, vspace_t *to, void *start, int num_pages, size_t size_bits, argument
89 int error = vspace_share_mem_at_vaddr(from, to, start, num_pages, size_bits, result, res);
101 int vspace_access_page_with_callback(vspace_t *from, vspace_t *to, void *access_addr, size_t size_bits, argument
105 to_vaddr = vspace_share_mem(from, to, access_addr, 1, size_bits, rights, cacheable);
114 /* Remove mappings from destination vspace */
/seL4-test-master/kernel/src/object/
H A Dschedcontext.c169 * place the thread in the release queue. This way, from this point,
287 // remove seL4_SetSchedParams from using ThreadControl. It's currently out of scope for
323 tcb_t *from = sc->scTcb; local
324 if (from) {
325 SMP_COND_STATEMENT(remoteTCBStall(from));
326 tcbSchedDequeue(from);
327 from->tcbSchedContext = NULL;
328 if (from == NODE_STATE(ksCurThread) || from == NODE_STATE(ksSchedulerAction)) {
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/
H A Dnet.h85 * @enetaddr: The Ethernet MAC address that is loaded from EEPROM or env
116 * called when no error was returned from recv - optional
117 * stop: Stop the hardware from looking for packets - may be called even if
221 * 0 is success, non-zero is error status from driver.
564 extern int net_ntp_time_offset; /* offset time from UTC */
645 /* Currently no way to return errors from eth_send() */
705 static inline struct in_addr net_read_ip(void *from) argument
709 memcpy((void *)&ip, (void *)from, sizeof(ip));
714 static inline u32 net_read_u32(u32 *from) argument
718 memcpy((void *)&l, (void *)from, sizeo
729 net_copy_ip(void *to, void *from) argument
735 net_copy_u32(u32 *to, u32 *from) argument
[all...]
/seL4-test-master/projects/seL4_libs/libsel4vspace/include/vspace/
H A Dvspace.h110 * Share memory from one vspace to another.
112 * Make duplicate mappings of the from vspace in a contiguous region in the
113 * to vspace. Pages are expected to already be mapped in the from vspace, or an error
116 * @param from vspace to share memory from
126 void *vspace_share_mem(vspace_t *from, vspace_t *to, void *start, int num_pages,
148 * to prevent code from running off the created stack.
167 * Access a page from one vspace in another.
169 * Duplicate a page mapping out of the 'from' vspace into the 'to' vspace for subsequent access
171 * has been executed. Pages are expected to already be mapped in the 'from' vspac
879 vspace_share_mem_at_vaddr(vspace_t *from, vspace_t *to, void *start, int num_pages, size_t size_bits, void *vaddr, reservation_t res) argument
[all...]
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/
H A Dnet.h94 * @enetaddr: The Ethernet MAC address that is loaded from EEPROM or env
127 * called when no error was returned from recv - optional
128 * stop: Stop the hardware from looking for packets - may be called even if
230 * 0 is success, non-zero is error status from driver.
574 extern int net_ntp_time_offset; /* offset time from UTC */
662 /* Currently no way to return errors from eth_send() */
725 static inline struct in_addr net_read_ip(void *from) argument
729 memcpy((void *)&ip, (void *)from, sizeof(ip));
734 static inline u32 net_read_u32(void *from) argument
738 memcpy((void *)&l, (void *)from, sizeo
749 net_copy_ip(void *to, void *from) argument
755 net_copy_u32(void *to, void *from) argument
[all...]
/seL4-test-master/tools/seL4/cmake-tool/helpers/
H A Dmake-uimage49 $PROGNAME uses objcopy, readelf (both from GNU binutils), and mkimage
50 (from the U-Boot tools) to extract the entry point (start symbol) of an
66 # Output the start symbol from given ELF object.
/seL4-test-master/projects/musllibc/src/thread/powerpc64/
H A Dclone.s45 # call SYS_exit. exit code is already in r3 from fn return value
/seL4-test-master/projects/util_libs/libcpio/src/
H A Dcpio.c78 static char* cpio_strcpy(char *to, const char *from) { argument
80 while (*from != 0) {
81 *to = *from;
83 from++;
/seL4-test-master/kernel/tools/dts/
H A Dupdate-dts.sh16 echo Using DTS from Linux $(make -s kernelversion)
32 * This file is derived from an intermediate build stage of the
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dscheduler.c822 /* move client 0's prio from lower -> lowest*/
925 /* suspend each server in reverse prio order, should get next message from lower prio server */
1336 helper_thread_t to, from; local
1340 create_helper_thread(env, &from);
1343 start_helper(env, &from, (helper_fn_t) sched0017_helper_fn, to.thread.sched_context.cptr, (seL4_Word) &ret, 0, 0);
1346 set_helper_mcp(env, &from, seL4_MaxPrio);
1349 error = set_helper_sched_params(env, &from, 500 * US_IN_MS, 500 * US_IN_MS, 0);
1361 ZF_LOGD("Wait for from\n");
1362 wait_for_helper(&from);
1369 cleanup_helper(env, &from);
1421 helper_thread_t to, from; local
[all...]
/seL4-test-master/projects/musllibc/src/thread/s390x/
H A Dclone.s46 # call SYS_exit. exit code is already in r2 from fn return value
/seL4-test-master/projects/musllibc/src/locale/
H A Diconv.c103 iconv_t iconv_open(const char *to, const char *from) argument
108 || (f = find_charmap(from))==-1
159 unsigned from = cd >> 16; local
160 const unsigned char *map = charmaps+from+1;
/seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dprocess.h52 * these are the original headers from the elf and include nonloaded information regions */
176 * @param image_name name of the elf image to load from the cpio archive.
203 * @param src path in the current cspace to copy the cap from
233 * @param src path in the current cspace to move the cap from
271 * Create c-formatted argument list to pass to a process from arbitrarily long amount of words.
277 * @param ... list of words to create arguments from.
286 * @param cap initial cap index from sel4/bootinfo_types.h
295 * @param from struct containing current cap info
301 int sel4utils_copy_timer_caps_to_process(timer_objects_t *to, timer_objects_t *from, vka_t *vka,
/seL4-test-master/kernel/manual/parts/
H A Dnotifications.tex60 will be delivered even if the thread is receiving from an IPC
64 notification --- distinct from endpoint badges --- the
H A Dcspace.tex9 Recall from \autoref{sec:cap-access-control} that seL4 implements a
37 \emph{minted} from old ones with a subset of their rights. Recall,
38 from \autoref{s:memRevoke}, that seL4 maintains a \emph{capability
41 removes all capabilities (in all CSpaces) that were derived from a
48 including CSpaces, from userspace. This means that the userspace
81 capability in a specified \obj{CNode} slot from an existing
86 from an unbadged one.
101 one from the second specified slot to the first, and one from the
107 capability from th
[all...]
H A Dipc.tex22 The message words are sent to or received from a thread by placing them in its \emph{message registers}.
60 \ipcparam{seL4\_CPtr}{}{receiveCNode}{CPTR to a CNode from which to
94 may wish to copy the message tag from its CPU register to this field, although
118 because otherwise the error message would be indistinguishable from a normal
119 message received from another thread via the endpoint.
169 position of the receiver's badges array, and the kernel sets the n-th bit (counting from the
174 A capability that is not unwrapped is transferred by copying it from the
281 call). It differs from
285 In particular, it is guaranteed that the reply received by the caller comes from
H A Dobjects.tex58 With this, the system can be configured to isolate software components from
94 been derived from the original capability being revoked. The propagation of
144 wants a reply from the kernel (\emph{Call}) or not (\emph{Send}). By using
236 system call instead of two. The transition from the reply to the receive
281 CPU time in seL4. Users can create scheduling contexts from untyped objects, however on
321 and acknowledge interrupts from hardware devices.
346 Instead, objects must be explicitly created from application-controlled memory
354 limits in the kernel apart from those dictated by the
387 untyped objects; developers cannot, for example, create an endpoint from device memory.
388 \item Frame objects retyped from devic
[all...]
H A Dthreads.tex59 derived from the scheduling context object.
82 thread capability from which to use the MCP from. Threads can only set priorities and MCPs
127 In theory, sporadic servers provide temporal isolation -- preventing threads from exceeding their allocated budget -- by using the following algorithm:
132 amount of time consumed ($T - T_{s}$) and subtract that from the current replenishment being used.
139 While a thread is executing, it constantly drains the budget from the \texttt{rAmount} at the head of the
145 used. When a round-robin thread stops executing, budget is moved from the head to the tail
146 replenishment. Once the head budget is consumed, the thread is removed from the scheduling queue
174 Whenever a thread is executing it consumes the budget from its current scheduling context. The
186 Threads can be unbound from
[all...]
H A Dintro.tex27 This manual describes the seL4 kernel's API from a user's point of view.
/seL4-test-master/tools/riscv-pk/machine/
H A Dmentry.S147 lw tp, (sp) # Move the emulated FCSR from x0's save slot into tp.
155 sw tp, (sp) # Move the emulated FCSR from tp into x0's save slot.
159 # Restore mscratch, so future traps will know they didn't come from M-mode.
233 // save a0 and a1; arguments from previous boot loader stage:
/seL4-test-master/kernel/src/arch/x86/32/
H A Dtraps.S64 /* user-level selectors from </arch/mode/object/structures.h> */
70 /* user-level selectors from </arch/object/structures.h> */
379 # __idle_thread_end then this is the idle thread. Interrupts from the idle thread
387 # We got an interrupt from the kernel. Call into C to save
484 # Set EIP in the saved register context to the new IP returned from handleKernelException
/seL4-test-master/projects/seL4_libs/libsel4utils/src/
H A Dprocess.c746 int sel4utils_copy_timer_caps_to_process(timer_objects_t *to, timer_objects_t *from, vka_t *vka, argument
749 if (to == NULL || from == NULL || vka == NULL || process == NULL) {
750 ZF_LOGE("Invalid argument (is null): to: %p, from: %p, vka: %p, process: %p", to, from, vka, process);
754 *to = *from;
759 vka, from->irqs[i].handler_path.capPtr);
765 vka, from->objs[i].obj.cptr);

Completed in 113 milliseconds

12