Searched refs:options (Results 1 - 25 of 28) sorted by relevance

12

/seL4-refos-master/libs/libmuslc/src/process/
H A Dwaitpid.c5 pid_t waitpid(pid_t pid, int *status, int options) argument
7 return syscall_cp(SYS_wait4, pid, status, options, 0);
H A Dwaitid.c5 int waitid(idtype_t type, id_t id, siginfo_t *info, int options) argument
7 return syscall_cp(SYS_waitid, type, id, info, options, 0);
/seL4-refos-master/libs/libmuslc/src/linux/
H A Dwait3.c6 pid_t wait3(int *status, int options, struct rusage *usage) argument
8 return wait4(-1, status, options, usage);
H A Dwait4.c6 pid_t wait4(pid_t pid, int *status, int options, struct rusage *usage) argument
8 return syscall(SYS_wait4, pid, status, options, usage);
/seL4-refos-master/seL4_tools/misc/
H A Dstyle-c.sh9 astyle --options="${0%/*}/astylerc" "$@"
/seL4-refos-master/kernel/manual/tools/libsel4_tools/
H A Dbitfield_gen.py1749 {"type": TYPES[options.environment][self.base],
1769 'inline': INLINE[options.environment],
1771 'type': TYPES[options.environment][self.union_base],
1826 param_list = ["%s %s" % (TYPES[options.environment][self.base], field)
1843 f_value = "(%s)%s_%s" % (TYPES[options.environment][self.base], self.name, name)
1872 % (ASSERTS[options.environment], f_value, mask, suf, self.base_sign_extend,
1889 "inline": INLINE[options.environment],
1935 "inline": INLINE[options.environment],
1938 "type": TYPES[options.environment][ref.base],
1939 "assert": ASSERTS[options
[all...]
/seL4-refos-master/kernel/libsel4/tools/
H A Dbitfield_gen.py1749 {"type": TYPES[options.environment][self.base],
1769 'inline': INLINE[options.environment],
1771 'type': TYPES[options.environment][self.union_base],
1826 param_list = ["%s %s" % (TYPES[options.environment][self.base], field)
1843 f_value = "(%s)%s_%s" % (TYPES[options.environment][self.base], self.name, name)
1872 % (ASSERTS[options.environment], f_value, mask, suf, self.base_sign_extend,
1889 "inline": INLINE[options.environment],
1935 "inline": INLINE[options.environment],
1938 "type": TYPES[options.environment][ref.base],
1939 "assert": ASSERTS[options
[all...]
/seL4-refos-master/libs/libsel4/tools/
H A Dbitfield_gen.py1749 {"type": TYPES[options.environment][self.base],
1769 'inline': INLINE[options.environment],
1771 'type': TYPES[options.environment][self.union_base],
1826 param_list = ["%s %s" % (TYPES[options.environment][self.base], field)
1843 f_value = "(%s)%s_%s" % (TYPES[options.environment][self.base], self.name, name)
1872 % (ASSERTS[options.environment], f_value, mask, suf, self.base_sign_extend,
1889 "inline": INLINE[options.environment],
1935 "inline": INLINE[options.environment],
1938 "type": TYPES[options.environment][ref.base],
1939 "assert": ASSERTS[options
[all...]
/seL4-refos-master/kernel/tools/
H A Dbitfield_gen.py1749 {"type": TYPES[options.environment][self.base],
1769 'inline': INLINE[options.environment],
1771 'type': TYPES[options.environment][self.union_base],
1826 param_list = ["%s %s" % (TYPES[options.environment][self.base], field)
1843 f_value = "(%s)%s_%s" % (TYPES[options.environment][self.base], self.name, name)
1872 % (ASSERTS[options.environment], f_value, mask, suf, self.base_sign_extend,
1889 "inline": INLINE[options.environment],
1935 "inline": INLINE[options.environment],
1938 "type": TYPES[options.environment][ref.base],
1939 "assert": ASSERTS[options
[all...]
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/sys/unix/
H A DMakefile.top53 VARDATD = data oracles options quest.dat rumors
111 # Note: options should have already been made with make, but...
112 options: $(GAME)
113 ( cd dat ; $(MAKE) options )
166 check-dlb: options
167 @if egrep -s librarian dat/options ; then $(MAKE) dlb ; else true ; fi
184 -e '$$s/.*/nodlb/p' < dat/options` ; \
H A DMakefile.dat8 VARDAT = data rumors quest.dat oracles options
97 # note: 'options' should have already been made when include/date.h was created
98 options: ../util/makedefs
H A DMakefile.src324 options.c pager.c pickup.c pline.c polyself.c potion.c pray.c \
380 mplayer.o mthrowu.o muse.o music.o o_init.o objnam.o options.o \
764 options.o: options.c $(CONFIG_H) ../include/objclass.h ../include/flag.h \
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/sys/unix/
H A DMakefile.top53 VARDATD = data oracles options quest.dat rumors
111 # Note: options should have already been made with make, but...
112 options: $(GAME)
113 ( cd dat ; $(MAKE) options )
166 check-dlb: options
167 @if egrep -s librarian dat/options ; then $(MAKE) dlb ; else true ; fi
184 -e '$$s/.*/nodlb/p' < dat/options` ; \
H A DMakefile.dat8 VARDAT = data rumors quest.dat oracles options
97 # note: 'options' should have already been made when include/date.h was created
98 options: ../util/makedefs
H A DMakefile.src324 options.c pager.c pickup.c pline.c polyself.c potion.c pray.c \
380 mplayer.o mthrowu.o muse.o music.o o_init.o objnam.o options.o \
764 options.o: options.c $(CONFIG_H) ../include/objclass.h ../include/flag.h \
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/
H A DMakefile53 VARDATD = data oracles options quest.dat rumors
111 # Note: options should have already been made with make, but...
112 options: $(GAME)
113 ( cd dat ; $(MAKE) options )
166 check-dlb: options
167 @if egrep -s librarian dat/options ; then $(MAKE) dlb ; else true ; fi
184 -e '$$s/.*/nodlb/p' < dat/options` ; \
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/
H A DMakefile53 VARDATD = data oracles options quest.dat rumors
111 # Note: options should have already been made with make, but...
112 options: $(GAME)
113 ( cd dat ; $(MAKE) options )
166 check-dlb: options
167 @if egrep -s librarian dat/options ; then $(MAKE) dlb ; else true ; fi
184 -e '$$s/.*/nodlb/p' < dat/options` ; \
/seL4-refos-master/libs/libmuslc/include/
H A Dresolv.h29 unsigned long options; member in struct:__res_state
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/dat/
H A DMakefile8 VARDAT = data rumors quest.dat oracles options
97 # note: 'options' should have already been made when include/date.h was created
98 options: ../util/makedefs
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/dat/
H A DMakefile8 VARDAT = data rumors quest.dat oracles options
97 # note: 'options' should have already been made when include/date.h was created
98 options: ../util/makedefs
/seL4-refos-master/seL4_tools/cmake-tool/
H A Dgriddle307 # Now that we've parsed the CMakefile, we know what options we can accept.
400 The file "$EASY_KNOBS" defines no basic configuration options for this project.
596 die "internal error while processing options"
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/doc/
H A DGuidebook.tex260 {\it NetHack\/} offers a variety of display options. The options available to
262 hardware and software, and whether various compile-time options were
264 options are: a monochrome character interface, a color character interface,
268 everything. There is no difference between the various display options
424 options to change some of the symbols the game uses; otherwise, the
744 Set options. A menu showing the current option values will be
749 The available options
751 game rather than with the `{\tt O}' command; see the section on options below.
960 Print compile time options fo
[all...]
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/doc/
H A DGuidebook.tex260 {\it NetHack\/} offers a variety of display options. The options available to
262 hardware and software, and whether various compile-time options were
264 options are: a monochrome character interface, a color character interface,
268 everything. There is no difference between the various display options
424 options to change some of the symbols the game uses; otherwise, the
744 Set options. A menu showing the current option values will be
749 The available options
751 game rather than with the `{\tt O}' command; see the section on options below.
960 Print compile time options fo
[all...]
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A DMakefile324 options.c pager.c pickup.c pline.c polyself.c potion.c pray.c \
380 mplayer.o mthrowu.o muse.o music.o o_init.o objnam.o options.o \
764 options.o: options.c $(CONFIG_H) ../include/objclass.h ../include/flag.h \
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A DMakefile324 options.c pager.c pickup.c pline.c polyself.c potion.c pray.c \
380 mplayer.o mthrowu.o muse.o music.o o_init.o objnam.o options.o \
764 options.o: options.c $(CONFIG_H) ../include/objclass.h ../include/flag.h \

Completed in 213 milliseconds

12