Searched refs:src (Results 1 - 25 of 331) sorted by relevance

1234567891011>>

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dprime.h41 unsigned int bdd_prime_gte(unsigned int src);
42 unsigned int bdd_prime_lte(unsigned int src);
H A Dprime.c44 #define isEven(src) (!((src) & 0x1))
45 #define hasFactor(src,n) ( (((src)!=(n)) && ((src)%(n) == 0)) )
46 #define BitIsSet(src,b) ( ((src) & (1<<(b))) != 0 )
142 static unsigned int numberOfBits(unsigned int src) argument
146 if (src == 0)
150 if (BitIsSet(src,
158 isWitness(unsigned int witness, unsigned int src) argument
181 isMillerRabinPrime(unsigned int src) argument
201 hasEasyFactors(unsigned int src) argument
211 isPrime(unsigned int src) argument
224 bdd_prime_gte(unsigned int src) argument
236 bdd_prime_lte(unsigned int src) argument
[all...]
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/
H A DMakefile50 src/Useful.sig src/Useful.sml \
51 src/Lazy.sig src/Lazy.sml \
52 src/Ordered.sig src/Ordered.sml \
53 src/Map.sig src/Map.sml \
54 src/KeyMap.sig src/KeyMa
[all...]
H A DMakefile.FILES2 bin/mosml/Makefile.src:
7 sed "s/src\/PortablePolyml/PortableIsabelle/g" | \
8 sed "s/ src\/Tptp\.s[a-z][a-z]//g" | \
9 sed "s/ src\/Options\.s[a-z][a-z]//g" \
H A Dfix_metis_license4 perl -p -i~ -w -e 's/MIT license/BSD License/g' Makefile src/*.s* scripts/mlpp)
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/
H A DMakefile50 src/Useful.sig src/Useful.sml \
51 src/Lazy.sig src/Lazy.sml \
52 src/Ordered.sig src/Ordered.sml \
53 src/Map.sig src/Map.sml \
54 src/KeyMap.sig src/KeyMa
[all...]
H A DMakefile.FILES2 bin/mosml/Makefile.src:
7 sed "s/src\/PortablePolyml/PortableIsabelle/g" | \
8 sed "s/ src\/Tptp\.s[a-z][a-z]//g" | \
9 sed "s/ src\/Options\.s[a-z][a-z]//g" \
H A Dfix_metis_license4 perl -p -i~ -w -e 's/MIT license/BSD License/g' Makefile src/*.s* scripts/mlpp)
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A DMakefile.am17 src/aarch64/ffi.c src/aarch64/ffitarget.h src/aarch64/sysv.S \
18 src/alpha/ffi.c src/alpha/osf.S \
19 src/alpha/ffitarget.h src/arc/ffi.c src/arc/arcompact.S \
20 src/arc/ffitarget.h src/ar
[all...]
H A DMakefile.in93 @FFI_DEBUG_TRUE@am__append_1 = src/debug.c
94 @MIPS_TRUE@am__append_2 = src/mips/ffi.c src/mips/o32.S src/mips/n32.S
95 @BFIN_TRUE@am__append_3 = src/bfin/ffi.c src/bfin/sysv.S
96 @X86_TRUE@am__append_4 = src/x86/ffi.c src/x86/sysv.S src/x86/win32.S
97 @X86_FREEBSD_TRUE@am__append_5 = src/x8
[all...]
/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/
H A Dmemcpy.c11 void *memcpy(void *dest, void *src, unsigned long size) { argument
13 char *d = (char*)dest, *s = (char*)src;
20 int *memcpy_int(int *dest, int *src) { argument
21 return memcpy(dest, src, sizeof(*dest));
31 struct my_structure *src) {
32 return memcpy(dest, src, sizeof(*dest));
30 memcpy_struct(struct my_structure *dest, struct my_structure *src) argument
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/x86/sel4/arch/
H A Dsyscalls.h22 seL4_Wait(seL4_CPtr src, seL4_Word *sender) argument
24 seL4_Recv(src, sender);
28 seL4_Poll(seL4_CPtr src, seL4_Word *sender) argument
30 return seL4_NBRecv(src, sender);
/seL4-l4v-10.1.1/seL4/src/
H A Dstring.c22 word_t strlcpy(char *dest, const char *src, word_t size) argument
25 for (len = 0; len + 1 < size && src[len]; len++) {
26 dest[len] = src[len];
32 word_t strlcat(char *dest, const char *src, word_t size) argument
40 for (; len + 1 < size && *src; len++, src++) {
41 dest[len] = *src;
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/money/
H A Dmakefile6 CFLAGS = -O3 -pedantic -Wall -ansi -L../../src -I../../src
29 cd ../../src; make
36 money.o: ../../src/bvec.h ../../src/fdd.h ../../src/bdd.h
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/fdd/
H A Dmakefile6 CFLAGS = -O3 -pedantic -Wall -ansi -L../../src -I../../src
29 cd ../../src; make
36 statespace.o: ../../src/fdd.h
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/milner/
H A Dmakefile6 CFLAGS = -g -pedantic -Wall -ansi -L../../src -I../../src
29 cd ../../src; make
36 milner.o: ../../src/bdd.h
/seL4-l4v-10.1.1/HOL4/developers/
H A Dprettifier.pl6 if (m|^Working in directory /tmp/hol98/src/(.*)$|) {
/seL4-l4v-10.1.1/seL4/include/
H A Dstring.h17 word_t strlcpy(char *dest, const char *src, word_t size);
18 word_t strlcat(char *dest, const char *src, word_t size);
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dgc_copy_phase.cpp187 static bool FindNextSpace(LocalMemSpace *src, LocalMemSpace **dst, bool isMutable, GCTaskId *id)
191 if (*dst == src)
201 if (lSpace == src)
204 ASSERT(!isMutable || src->isMutable);
205 *dst = src;
219 isMutable ? "mutable" : "immutable", src, lSpace);
235 LocalMemSpace *src = *i;
237 if (src->spaceOwner == 0)
240 if (src->spaceOwner == 0)
241 src
[all...]
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/adder/
H A Dmakefile6 CFLAGS = -g -pedantic -Wall -ansi -L../../src -I../../src
36 adder.o: ../../src/bdd.h
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/cmilner/
H A Dmakefile6 CFLAGS = -O3 -pedantic -Wall -ansi -L../../src -I../../src
36 milner.o: ../../src/bdd.h
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/queen/
H A Dmakefile6 CFLAGS = -O3 -pedantic -Wall -ansi -L../../src -I../../src
36 queen.o: ../../src/bdd.h
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/solitare/
H A Dmakefile6 CFLAGS = -O3 -pedantic -Wall -ansi -L../../src -I../../src
36 milner.o: ../../src/bdd.h
/seL4-l4v-10.1.1/HOL4/developers/docfiles/
H A Dgen-implemented.sh5 # corresponding structure str (or fun) exists somewhere in src/
14 for path in `find $holdir/src -name "*.sig" \! -name "*Theory.sig"`
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/machine/
H A Dfpu.h83 static inline void loadFpuState(user_fpu_state_t *src) argument
86 asm volatile("fxrstor %[src]" :: [src] "m"(*src));
89 asm volatile("xrstors %[src]" :: [src] "m"(*src), "d"(xsave_features_high()), "a"(xsave_features_low()));
91 asm volatile("xrstor %[src]" :: [src] "m"(*src), "
[all...]

Completed in 84 milliseconds

1234567891011>>