/seL4-test-master/projects/musllibc/src/linux/ |
H A D | ioperm.c | 6 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 D | sigsetjmp.s | 19 # once we return from 'longjmp' 25 move $5, $2 # Return from 'setjmp' or 'longjmp'
|
/seL4-test-master/projects/musllibc/src/signal/mipsn32/ |
H A D | sigsetjmp.s | 19 # once we return from 'longjmp' 25 move $5, $2 # Return from 'setjmp' or 'longjmp'
|
/seL4-test-master/projects/seL4_libs/libsel4vspace/src/ |
H A D | vspace.c | 75 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 D | schedcontext.c | 169 * 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 D | net.h | 85 * @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 D | vspace.h | 110 * 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 D | net.h | 94 * @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 D | make-uimage | 49 $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 D | clone.s | 45 # call SYS_exit. exit code is already in r3 from fn return value
|
/seL4-test-master/projects/util_libs/libcpio/src/ |
H A D | cpio.c | 78 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 D | update-dts.sh | 16 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 D | scheduler.c | 822 /* 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 D | clone.s | 46 # call SYS_exit. exit code is already in r2 from fn return value
|
/seL4-test-master/projects/musllibc/src/locale/ |
H A D | iconv.c | 103 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 D | process.h | 52 * 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 D | notifications.tex | 60 will be delivered even if the thread is receiving from an IPC 64 notification --- distinct from endpoint badges --- the
|
H A D | cspace.tex | 9 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 D | ipc.tex | 22 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 D | objects.tex | 58 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 D | threads.tex | 59 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 D | intro.tex | 27 This manual describes the seL4 kernel's API from a user's point of view.
|
/seL4-test-master/tools/riscv-pk/machine/ |
H A D | mentry.S | 147 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 D | traps.S | 64 /* 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 D | process.c | 746 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);
|