/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/ |
H A D | benchmark.h | 23 timestamp(void) function
|
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/ |
H A D | benchmark.h | 18 timestamp(void) function
|
/seL4-l4v-10.1.1/seL4/include/kernel/ |
H A D | traps.h | 26 ksEnter = timestamp();
|
/seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/ |
H A D | TreeBrowser.java | 22 long timestamp; field in class:TreeBrowser 61 if (e.getWhen()-timestamp < 400 && !(vx.getPath().equals(""))) 63 timestamp=e.getWhen();
|
H A D | GraphView.java | 25 long timestamp; field in class:GraphView 252 if (evt.getWhen()-timestamp < 400 && !(v.getPath().equals(""))) 254 timestamp=evt.getWhen();
|
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/ |
H A D | TreeBrowser.java | 22 long timestamp; field in class:TreeBrowser 61 if (e.getWhen()-timestamp < 400 && !(vx.getPath().equals(""))) 63 timestamp=e.getWhen();
|
H A D | GraphView.java | 25 long timestamp; field in class:GraphView 252 if (evt.getWhen()-timestamp < 400 && !(v.getPath().equals(""))) 254 timestamp=evt.getWhen();
|
/seL4-l4v-10.1.1/HOL4/src/parse/ |
H A D | ProvideUnicode.sml | 34 fun rreplace rf {term_name,paren_style,elements,timestamp,block_style} s = 48 NONE => SOME(#timestamp r, (rreplace rf r, tok_of r)) 50 if #timestamp r > t' then 51 SOME(#timestamp r, (rreplace rf r, tok_of r)) 64 | BinderString {timestamp, term_name = nm, tok} :: rest => 68 NONE => SOME (timestamp, (breplace, tok)) 69 | SOME (t', _) => if timestamp > t' then 70 SOME (timestamp, (breplace, tok))
|
H A D | term_grammar_dtype.sml | 7 timestamp : int, 13 | BinderString of {tok : string, term_name : string, timestamp : int}
|
H A D | term_grammar.sml | 360 | update_b_tstamp t (BinderString {tok,term_name,timestamp}) = 361 BinderString {tok = tok, term_name =term_name, timestamp = t} 364 block_style, timestamp} = 366 block_style = block_style, timestamp = t} 421 timestamp = 0, 429 timestamp = 0, 435 timestamp = 0, 441 timestamp = 0, 450 timestamp = 0, 457 timestamp [all...] |
H A D | term_pp.sml | 273 fun lift f (rr as {term_name,timestamp,elements,...}) = 278 map (fn s => (s, (timestamp, f [rr]))) [nilstr, cons] 281 [(term_name, (timestamp, f [rr]))] 287 | bstamp (BinderString r) = #timestamp r
|
/seL4-l4v-10.1.1/seL4/src/benchmark/ |
H A D | benchmark_track.c | 24 timestamp_t ksExit = timestamp();
|
/seL4-l4v-10.1.1/seL4/include/benchmark/ |
H A D | benchmark.h | 37 ksEntries[id] = timestamp(); 45 ksExit = timestamp();
|
H A D | benchmark_track.h | 52 ksEnter = timestamp();
|
H A D | benchmark_utilisation.h | 61 ksEnter = timestamp();
|
/seL4-l4v-10.1.1/isabelle/src/Pure/Admin/ |
H A D | jenkins.scala | 70 timestamp: Long, 74 val date: Date = Date(Time.ms(timestamp), ZoneId.of("Europe/Berlin")) 130 invoke(root() + "/job/" + job_name, "tree=allBuilds[number,timestamp,artifacts[*]]"), 133 timestamp <- JSON.long(build, "timestamp") 143 Job_Info(job_name, timestamp, main_log, session_logs) 146 infos.sortBy(info => - info.timestamp)
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Admin/ |
H A D | jenkins.scala | 70 timestamp: Long, 74 val date: Date = Date(Time.ms(timestamp), ZoneId.of("Europe/Berlin")) 130 invoke(root() + "/job/" + job_name, "tree=allBuilds[number,timestamp,artifacts[*]]"), 133 timestamp <- JSON.long(build, "timestamp") 143 Job_Info(job_name, timestamp, main_log, session_logs) 146 infos.sortBy(info => - info.timestamp)
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
H A D | config.guess | 5 timestamp='2016-10-02' 50 GNU config.guess ($timestamp) 65 echo "$timestamp" ; exit ;; 1420 This script (version $timestamp), has failed to recognize the 1432 config.guess timestamp = $timestamp 1459 # time-stamp-start: "timestamp='"
|
H A D | config.sub | 5 timestamp='2016-11-04' 68 GNU config.sub ($timestamp) 82 echo "$timestamp" ; exit ;; 1822 # time-stamp-start: "timestamp='"
|
/seL4-l4v-10.1.1/HOL4/polyml/ |
H A D | config.guess | 5 timestamp='2016-10-02' 50 GNU config.guess ($timestamp) 65 echo "$timestamp" ; exit ;; 1420 This script (version $timestamp), has failed to recognize the 1432 config.guess timestamp = $timestamp 1459 # time-stamp-start: "timestamp='"
|
H A D | config.sub | 5 timestamp='2016-11-04' 68 GNU config.sub ($timestamp) 82 echo "$timestamp" ; exit ;; 1822 # time-stamp-start: "timestamp='"
|
/seL4-l4v-10.1.1/HOL4/src/portableML/ |
H A D | Portable.sig | 194 val timestamp: unit -> time value
|
/seL4-l4v-10.1.1/HOL4/src/res_quan/Manual/ |
H A D | summacs.tex | 135 \def\timestamp{\number\day\space\monthname\space
|
/seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
H A D | Holmake.sml | 153 val timestamp = fmt "%Y-%m-%dT%H%M" (fromTimeLocal (Time.now())) value 154 val newname0 = hostname^timestamp
|
/seL4-l4v-10.1.1/HOL4/tools/ |
H A D | buildutils.sml | 940 val timestamp = fmt "%Y-%m-%dT%H%M" (fromTimeLocal (Time.now())) value 941 val newname0 = hostname^timestamp
|