/seL4-refos-master/libs/libmuslc/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-refos-master/libs/libmuslc/src/signal/mips64/ |
H A D | sigsetjmp.s | 19 # once we return from 'longjmp' 25 move $5, $2 # Return from 'setjmp' or 'longjmp'
|
/seL4-refos-master/libs/libmuslc/src/signal/mipsn32/ |
H A D | sigsetjmp.s | 19 # once we return from 'longjmp' 25 move $5, $2 # Return from 'setjmp' or 'longjmp'
|
/seL4-refos-master/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-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/sys/share/ |
H A D | pcsys.c | 58 extern int GUILaunched; /* from nttty.c */ 167 char from[PATHLEN], to[PATHLEN], last[13]; 183 Sprintf(from, "%s%s", frompath, allbones); 188 if (findfirst(from)) 191 Sprintf(from, "%s%s", frompath, foundfile); 193 if (_copyfile(from, to)) 209 /* Copy `from' to `to' */ 212 status =spawnl(P_WAIT, comspec, comspec, copy, from, 234 msmsg("Can't copy \"%s\" to \"%s\" -- ", from, to); 240 msmsg((freediskspace(topath) < filesize(from)) [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/sys/share/ |
H A D | pcsys.c | 58 extern int GUILaunched; /* from nttty.c */ 167 char from[PATHLEN], to[PATHLEN], last[13]; 183 Sprintf(from, "%s%s", frompath, allbones); 188 if (findfirst(from)) 191 Sprintf(from, "%s%s", frompath, foundfile); 193 if (_copyfile(from, to)) 209 /* Copy `from' to `to' */ 212 status =spawnl(P_WAIT, comspec, comspec, copy, from, 234 msmsg("Can't copy \"%s\" to \"%s\" -- ", from, to); 240 msmsg((freediskspace(topath) < filesize(from)) [all...] |
/seL4-refos-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-refos-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-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | save.c | 219 * parts of the restore code from completely initializing all 342 * it and avoid restoring from outdated information. 535 /* from here on out, saving also involves allocated memory cleanup */ 1033 char to[PATHLEN], from[PATHLEN]; local 1035 Sprintf(from, "%s%s", permbones, alllevels); 1037 set_levelfile_name(from, lev); 1046 pline("Swapping in `%s'.", from); 1050 copyfile(from, to); 1051 (void) unlink(from); 1058 char to[PATHLEN], from[PATHLE local [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | save.c | 219 * parts of the restore code from completely initializing all 342 * it and avoid restoring from outdated information. 535 /* from here on out, saving also involves allocated memory cleanup */ 1033 char to[PATHLEN], from[PATHLEN]; local 1035 Sprintf(from, "%s%s", permbones, alllevels); 1037 set_levelfile_name(from, lev); 1046 pline("Swapping in `%s'.", from); 1050 copyfile(from, to); 1051 (void) unlink(from); 1058 char to[PATHLEN], from[PATHLE local [all...] |
/seL4-refos-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-refos-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-refos-master/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-refos-master/seL4_tools/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-refos-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-refos-master/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-refos-master/libs/libmuslc/src/thread/powerpc64/ |
H A D | clone.s | 45 # call SYS_exit. exit code is already in r3 from fn return value
|
/seL4-refos-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-refos-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-refos-master/libs/libmuslc/src/thread/s390x/ |
H A D | clone.s | 46 # call SYS_exit. exit code is already in r2 from fn return value
|
/seL4-refos-master/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-refos-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-refos-master/libs/libmuslc/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-refos-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...] |