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

123

/seL4-refos-master/libs/libmuslc/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-refos-master/libs/libmuslc/src/signal/mips64/
H A Dsigsetjmp.s19 # once we return from 'longjmp'
25 move $5, $2 # Return from 'setjmp' or 'longjmp'
/seL4-refos-master/libs/libmuslc/src/signal/mipsn32/
H A Dsigsetjmp.s19 # once we return from 'longjmp'
25 move $5, $2 # Return from 'setjmp' or 'longjmp'
/seL4-refos-master/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-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/sys/share/
H A Dpcsys.c58 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 Dpcsys.c58 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 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-refos-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-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dsave.c219 * 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 Dsave.c219 * 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 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-refos-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-refos-master/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-refos-master/seL4_tools/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-refos-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-refos-master/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-refos-master/libs/libmuslc/src/thread/powerpc64/
H A Dclone.s45 # call SYS_exit. exit code is already in r3 from fn return value
/seL4-refos-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-refos-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-refos-master/libs/libmuslc/src/thread/s390x/
H A Dclone.s46 # call SYS_exit. exit code is already in r2 from fn return value
/seL4-refos-master/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-refos-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-refos-master/libs/libmuslc/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-refos-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...]

Completed in 229 milliseconds

123