Searched refs:diff (Results 1 - 25 of 26) sorted by relevance

12

/seL4-camkes-master/kernel/src/plat/pc99/machine/
H A Dhardware.c60 uint64_t diff = new_ticks - old_ticks; local
62 if ((uint32_t)diff == diff && new_ticks > old_ticks) {
63 return (uint32_t)diff / PIT_WRAPAROUND_MS;
/seL4-camkes-master/projects/camkes-tool/camkes/ast/tests/
H A Dtestckeywords.py78 diff = new_keywords - C_KEYWORDS
79 self.assertEqual(diff, set([]), 'extra C keywords (%s) found that are '
80 'not currently recognised' % ', '.join(diff))
/seL4-camkes-master/projects/camkes/apps/mcs-scheduling/components/Task/src/
H A Dtask.c43 uint64_t diff = ts - prev; local
45 if (diff < MAGIC_CYCLES) {
47 ccount += diff;
/seL4-camkes-master/projects/global-components/components/BenchUtiliz/src/
H A DbenchUtiliz.c115 uint64_t diff; local
122 diff = ULONG_MAX - prev + ts + 1;
125 diff = ts - prev;
128 if (diff < MAGIC_CYCLES) {
130 ccount += diff;
/seL4-camkes-master/kernel/manual/
H A DMakefile9 # To create a LaTeX diff against the CVS HEAD revision, use the target
10 # "diff" (or "viewdiff").
58 Optional = $(addsuffix -diff, $(Targets))
94 diff: diff_pdf
221 viewdiff: diff
233 *.out *.ps *-diff.tex *.mps .log *.pdf *.tgz *~ *.lof *.lot env.tex
243 @echo "Main targets: all diff view viewdiff print clean tar"
244 @echo "'make diff' will show changes to head revision"
245 @echo "'make DIFF=<rev> diff' will show changes to revision <rev>"
251 %-diff
[all...]
/seL4-camkes-master/kernel/src/
H A Dutil.c78 int diff; local
81 diff = ((unsigned char *)s1)[i] - ((unsigned char *)s2)[i];
82 if (diff != 0 || s1[i] == '\0') {
83 return diff;
/seL4-camkes-master/tools/seL4/elfloader-tool/src/
H A Dstring.c50 int diff; local
53 diff = ((unsigned char *)s1)[i] - ((unsigned char *)s2)[i];
54 if (diff != 0 || s1[i] == '\0') {
55 return diff;
/seL4-camkes-master/tools/seL4/misc/
H A Dwhence.py14 upstream commit with the smallest diff to the downstream files. Sample usage:
86 # We now have everything we need. Examine each commit, tracking the smallest diff we've seen.
100 p = subprocess.Popen(['diff', src, dst], stdout=subprocess.PIPE)
102 diff = len(stdout.split('\n'))
103 sys.stderr.write('This commit has a difference metric of %d\n' % diff)
105 if min_diff is None or min_diff > diff:
106 min_diff = diff
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/test/suites/api/
H A Dcheck-exports21 diff -u $test_log/exports $test_log/output >&2
/seL4-camkes-master/tools/cogent/impl/fs/tests/
H A Drun_tests.sh27 DIFF=$(diff ../new.txt ../orig.txt)
/seL4-camkes-master/tools/cogent/cogent/tests/tests/dargent/ext-array/pass_array-put/
H A DBUILD6 diff expected.out actual.out
/seL4-camkes-master/tools/riscv-pk/scripts/
H A Dvcs-version.sh103 if !( git diff --quiet ); then
/seL4-camkes-master/projects/capdl/capDL-tool/
H A DMakefile19 @diff -b $*.parse $*.right
21 @diff $*.parse $*.parse.x || (echo "Self parse failed"; exit 1)
28 @diff -b camkes-adder-arm.thy camkes-adder-arm.thy.right || (echo "Isabelle output differs"; exit 1)
/seL4-camkes-master/kernel/tools/hardware/
H A Dmemory.py84 diff = new_base - self.base
85 new_size = self.size - diff
/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_sntp_client.c531 pico_time diff, temp; local
541 diff = pico_tick - tick_stamp;
542 diffL = ((uint32_t) (diff & SNTP_BITMASK)) / 1000;
543 diffH = ((uint32_t) (diff >> 32)) / 1000;
545 temp = server_time.tv_msec + (uint32_t)(diff & SNTP_BITMASK) % SNTP_THOUSAND;
H A Dpico_ipv6.c197 int i = 0, diff = 0, nibble = 0, hex = 0, colons = 0; local
220 diff = (hex * 4) - nibble;
221 nibble += diff;
222 switch (diff) {
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/
H A Dpage_dma.c62 uint32_t diff = addr - alloc->base; local
63 return alloc->paddr + diff;
/seL4-camkes-master/projects/util_libs/libcpio/src/
H A Dcpio.c96 unsigned long diff = (unsigned long) (next - prev); local
97 if (len < diff) {
/seL4-camkes-master/projects/musllibc/src/crypt/
H A Dcrypt_blowfish.c503 BF_word safety, sign, diff, tmp[2]; local
542 sign = diff = 0;
564 diff |= tmp[0] ^ tmp[1]; /* Non-zero on any differences */
571 * At this point, "diff" is zero iff the correct and buggy algorithms produced
579 diff |= diff >> 16; /* still zero iff exact match */
580 diff &= 0xffff; /* ditto */
581 diff += 0xffff; /* bit 16 set iff "diff" was non-zero (on non-match) */
583 sign &= ~diff
[all...]
/seL4-camkes-master/projects/lwip/src/netif/ppp/
H A Dchap_ms.c254 int diff; local
278 diff = memcmp(&response[MS_CHAP_LANMANRESP],
282 diff = memcmp(&response[MS_CHAP_NTRESP], &md[MS_CHAP_NTRESP],
285 if (diff == 0) {
/seL4-camkes-master/projects/lwip/src/api/
H A Dapi_msg.c1646 size_t diff; local
1678 diff = conn->current_msg->msg.w.vector->len - conn->current_msg->msg.w.vector_off;
1679 if (diff > 0xffffUL) { /* max_u16_t */
1683 len = (u16_t)diff;
1705 if ((len == 0xffff && diff > 0xffffUL) ||
1706 (len == (u16_t)diff && conn->current_msg->msg.w.vector_cnt > 1)) {
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/src/
H A Dpack_unpack.c527 long diff = (long)json_array_size(root) - (long)i; local
528 set_error(s, "<validation>", "%li array item(s) left unpacked", diff);
/seL4-camkes-master/projects/lwip/src/apps/http/
H A Dhttpd.c2380 int diff = file_start + 4 - hs->file; local
2381 hs->file += diff;
2382 hs->left -= (u32_t)diff;
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/
H A Dconfigure4202 diff "conftest.out" "conftest.nl" >/dev/null 2>&1 || break
4278 diff "conftest.out" "conftest.nl" >/dev/null 2>&1 || break
4344 diff "conftest.out" "conftest.nl" >/dev/null 2>&1 || break
4411 diff "conftest.out" "conftest.nl" >/dev/null 2>&1 || break
8088 if test ! -s conftest.er2 || diff conftest.exp conftest.er2 >/dev/null; then
8465 if test ! -s conftest.er2 || diff conftest.exp conftest.er2 >/dev/null; then
8518 if diff conftest.exp conftest.er2 >/dev/null; then
8576 if test ! -s out/conftest.er2 || diff out/conftest.exp out/conftest.er2 >/dev/null; then
8631 if test ! -s out/conftest.er2 || diff out/conftest.exp out/conftest.er2 >/dev/null; then
9505 if diff conftes
[all...]
/seL4-camkes-master/tools/riscv-pk/
H A Dconfigure3856 diff "conftest.out" "conftest.nl" >/dev/null 2>&1 || break
3922 diff "conftest.out" "conftest.nl" >/dev/null 2>&1 || break
4576 if diff "$cache_file" confcache >/dev/null 2>&1; then :; else
5744 if diff "$ac_file" "$ac_tmp/config.h" >/dev/null 2>&1; then

Completed in 306 milliseconds

12