/seL4-refos-master/seL4_tools/misc/ |
H A D | style-all.sh | 1 #!/bin/sh 16 find "$DIR" -type f | xargs "${0%/*}"/style.sh
|
H A D | style-changed.sh | 1 #!/bin/sh 9 git ls-files -mo | xargs "${0%/*}"/style.sh
|
H A D | is-valid-shell-script | 1 #!/bin/sh 27 || [ "${FILE%.sh}" != "$FILE" ] 45 ("*env *sh script*"|"*env ksh88 script*"|"*env ksh93 script*") 107 # Here's an example of a construct sh -n doesn't catch that fails when run 115 if ! sh -n "$FILE"
|
/seL4-refos-master/kernel/manual/tools/libsel4_tools/ |
H A D | changed.sh | 26 sh -c "$V" 36 sh -c "$V"
|
/seL4-refos-master/kernel/libsel4/tools/ |
H A D | changed.sh | 26 sh -c "$V" 36 sh -c "$V"
|
/seL4-refos-master/libs/libsel4/tools/ |
H A D | changed.sh | 26 sh -c "$V" 36 sh -c "$V"
|
/seL4-refos-master/kernel/tools/ |
H A D | changed.sh | 26 sh -c "$V" 36 sh -c "$V"
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | shknam.c | 339 register int sh, sx, sy; local 343 sh = sroom->fdoor; 344 sx = doors[sh].x; 345 sy = doors[sh].y; 376 doorindex, sroom->doorct, sh); 378 pline("door [%d,%d]", doors[sh].x, doors[sh].y); 379 sh++; 401 ESHK(shk)->shd = doors[sh]; 420 return(sh); 435 register int sx, sy, sh; local [all...] |
H A D | mkroom.c | 232 int sh, tx, ty, goldlim, type = sroom->rtype; local 240 sh = sroom->fdoor; 280 distmin(sx, sy, doors[sh].x, doors[sh].y) <= 1)) 284 ((sx == sroom->lx && doors[sh].x == sx-1) || 285 (sx == sroom->hx && doors[sh].x == sx+1) || 286 (sy == sroom->ly && doors[sh].y == sy-1) || 287 (sy == sroom->hy && doors[sh].y == sy+1)))) 316 int distval = dist2(sx,sy,doors[sh].x,doors[sh] [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | shknam.c | 339 register int sh, sx, sy; local 343 sh = sroom->fdoor; 344 sx = doors[sh].x; 345 sy = doors[sh].y; 376 doorindex, sroom->doorct, sh); 378 pline("door [%d,%d]", doors[sh].x, doors[sh].y); 379 sh++; 401 ESHK(shk)->shd = doors[sh]; 420 return(sh); 435 register int sx, sy, sh; local [all...] |
H A D | mkroom.c | 232 int sh, tx, ty, goldlim, type = sroom->rtype; local 240 sh = sroom->fdoor; 280 distmin(sx, sy, doors[sh].x, doors[sh].y) <= 1)) 284 ((sx == sroom->lx && doors[sh].x == sx-1) || 285 (sx == sroom->hx && doors[sh].x == sx+1) || 286 (sy == sroom->ly && doors[sh].y == sy-1) || 287 (sy == sroom->hy && doors[sh].y == sy+1)))) 316 int distval = dist2(sx,sy,doors[sh].x,doors[sh] [all...] |
/seL4-refos-master/libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/ |
H A D | dmar.h | 230 acpi_dmar_next_dscope(acpi_dmar_remap_hdr_t* sh, acpi_dmar_dscope_t* scope) argument 233 void* end = (uint8_t*)sh + sh->length; 243 acpi_dmar_dscope_at(acpi_dmar_remap_hdr_t* sh, int index) argument 245 acpi_dmar_dscope_t* next = acpi_dmar_first_dscope(sh); 247 next = acpi_dmar_next_dscope(sh, next);
|
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/ |
H A D | dmar.h | 230 acpi_dmar_next_dscope(acpi_dmar_remap_hdr_t* sh, acpi_dmar_dscope_t* scope) argument 233 void* end = (uint8_t*)sh + sh->length; 243 acpi_dmar_dscope_at(acpi_dmar_remap_hdr_t* sh, int index) argument 245 acpi_dmar_dscope_t* next = acpi_dmar_first_dscope(sh); 247 next = acpi_dmar_next_dscope(sh, next);
|
/seL4-refos-master/projects/refos/impl/ |
H A D | Makefile | 33 $(Q)${COMMON_PATH}/files_to_obj.sh $@ _cpio_archive \ 42 $(Q)${COMMON_PATH}/files_to_obj.sh $@ _cpio_archive \ 53 @${SEL4_COMMON}/elfloader/gen_boot_image.sh \
|
/seL4-refos-master/ |
H A D | Makefile | 33 $(Q)${COMMON_PATH}/files_to_obj.sh $@ _cpio_archive \ 42 $(Q)${COMMON_PATH}/files_to_obj.sh $@ _cpio_archive \ 53 @${SEL4_COMMON}/elfloader/gen_boot_image.sh \
|
/seL4-refos-master/libs/libmuslc/src/misc/ |
H A D | wordexp.c | 117 execl("/bin/sh", "sh", "-c", 119 "sh", s, redir, (char *)0);
|
/seL4-refos-master/libs/libmuslc/src/internal/ |
H A D | floatscan.c | 229 int sh = 1; local 239 /* FIXME: find a way to compute optimal sh */ 240 if (rp > 9+9*LD_B1B_DIG) sh = 9; 241 e2 += sh; 243 uint32_t tmp = x[k] & (1<<sh)-1; 244 x[k] = (x[k]>>sh) + carry; 245 carry = (1000000000>>sh) * tmp;
|
/seL4-refos-master/libs/libmuslc/ |
H A D | Makefile.muslc | 56 INSTALL = $(srcdir)/tools/install.sh 104 printf '#define VERSION "%s"\n' "$$(cd $(srcdir); sh tools/version.sh)" > $@ 185 lib/musl-gcc.specs: $(srcdir)/tools/musl-gcc.specs.sh config.mak 186 sh $< "$(includedir)" "$(libdir)" "$(LDSO_PATHNAME)" > $@ 189 printf '#!/bin/sh\nexec "$${REALGCC:-$(WRAPCC_GCC)}" "$$@" -specs "%s/musl-gcc.specs"\n' "$(libdir)" > $@
|
H A D | configure | 1 #!/bin/sh 328 sh[1-9bel-]*|sh|superh*) ARCH=sh ;; 660 if test "$ARCH" = "sh" ; then 664 # Some sh configurations are broken and replace double with float
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/sys/unix/ |
H A D | Makefile.top | 58 # SHELL = /bin/sh 191 < sys/unix/nethack.sh \
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/sys/unix/ |
H A D | Makefile.top | 58 # SHELL = /bin/sh 191 < sys/unix/nethack.sh \
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/ |
H A D | Makefile | 58 # SHELL = /bin/sh 191 < sys/unix/nethack.sh \
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/ |
H A D | Makefile | 58 # SHELL = /bin/sh 191 < sys/unix/nethack.sh \
|
/seL4-refos-master/kernel/manual/ |
H A D | Makefile | 290 $(BibTexEnv) ./tools/bibexport.sh -t -o references.bib tmp.aux > /dev/null 2> /dev/null; \
|
/seL4-refos-master/projects/refos/design/ |
H A D | intro.tex | 15 The overall design of \refOS revolves around the abstraction of a dataspace. A dataspace is a memory space (a series of bytes) representing anything from physical RAM to file contents on a disk to a device or even to a random number generator. The concept is analogous to UNIX files which may represent anything from \texttt{/usr/bin/sh} to \texttt{/dev/audio} to \texttt{/dev/urandom}.
|