/seL4-refos-master/libs/libmuslc/src/process/ |
H A D | waitpid.c | 5 pid_t waitpid(pid_t pid, int *status, int options) argument 7 return syscall_cp(SYS_wait4, pid, status, options, 0);
|
H A D | waitid.c | 5 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 D | wait3.c | 6 pid_t wait3(int *status, int options, struct rusage *usage) argument 8 return wait4(-1, status, options, usage);
|
H A D | wait4.c | 6 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 D | style-c.sh | 9 astyle --options="${0%/*}/astylerc" "$@"
|
/seL4-refos-master/kernel/manual/tools/libsel4_tools/ |
H A D | bitfield_gen.py | 1749 {"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 D | bitfield_gen.py | 1749 {"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 D | bitfield_gen.py | 1749 {"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 D | bitfield_gen.py | 1749 {"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 D | Makefile.top | 53 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 D | Makefile.dat | 8 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 D | Makefile.src | 324 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 D | Makefile.top | 53 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 D | Makefile.dat | 8 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 D | Makefile.src | 324 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 D | Makefile | 53 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 D | Makefile | 53 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 D | resolv.h | 29 unsigned long options; member in struct:__res_state
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/dat/ |
H A D | Makefile | 8 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 D | Makefile | 8 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 D | griddle | 307 # 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 D | Guidebook.tex | 260 {\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 D | Guidebook.tex | 260 {\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 D | Makefile | 324 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 D | Makefile | 324 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 \
|