/seL4-camkes-master/kernel/src/plat/pc99/machine/ |
H A D | hardware.c | 60 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 D | testckeywords.py | 78 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 D | task.c | 43 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 D | benchUtiliz.c | 115 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 D | Makefile | 9 # 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 D | util.c | 78 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 D | string.c | 50 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 D | whence.py | 14 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 D | check-exports | 21 diff -u $test_log/exports $test_log/output >&2
|
/seL4-camkes-master/tools/cogent/impl/fs/tests/ |
H A D | run_tests.sh | 27 DIFF=$(diff ../new.txt ../orig.txt)
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/dargent/ext-array/pass_array-put/ |
H A D | BUILD | 6 diff expected.out actual.out
|
/seL4-camkes-master/tools/riscv-pk/scripts/ |
H A D | vcs-version.sh | 103 if !( git diff --quiet ); then
|
/seL4-camkes-master/projects/capdl/capDL-tool/ |
H A D | Makefile | 19 @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 D | memory.py | 84 diff = new_base - self.base 85 new_size = self.size - diff
|
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_sntp_client.c | 531 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 D | pico_ipv6.c | 197 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 D | page_dma.c | 62 uint32_t diff = addr - alloc->base; local 63 return alloc->paddr + diff;
|
/seL4-camkes-master/projects/util_libs/libcpio/src/ |
H A D | cpio.c | 96 unsigned long diff = (unsigned long) (next - prev); local 97 if (len < diff) {
|
/seL4-camkes-master/projects/musllibc/src/crypt/ |
H A D | crypt_blowfish.c | 503 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 D | chap_ms.c | 254 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 D | api_msg.c | 1646 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 D | pack_unpack.c | 527 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 D | httpd.c | 2380 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 D | configure | 4202 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 D | configure | 3856 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
|