/seL4-l4v-master/seL4/include/arch/riscv/arch/ |
H A D | benchmark.h | 15 static inline timestamp_t timestamp(void) function
|
/seL4-l4v-master/seL4/include/arch/x86/arch/ |
H A D | benchmark.h | 12 static inline uint64_t timestamp(void) function
|
/seL4-l4v-master/seL4/include/kernel/ |
H A D | traps.h | 21 ksEnter = timestamp(); 36 timestamp_t exit = timestamp();
|
/seL4-l4v-master/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-master/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-master/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 | GrammarDeltas.sml | 160 fun rrule_encode {term_name,elements,timestamp,block_style,paren_style} = 164 (term_name, (elements, timestamp, block_style, paren_style)) 166 fun f (term_name, (elements, timestamp, block_style, paren_style)) = 167 {term_name = term_name, timestamp = timestamp, 179 | BinderString{tok,term_name,timestamp} => 181 (tok,term_name,timestamp) 183 fun f (tok,term_name,timestamp) = 185 timestamp = timestamp} [all...] |
H A D | term_grammar.sml | 365 | update_b_tstamp t (BinderString {tok,term_name,timestamp}) = 366 BinderString {tok = tok, term_name =term_name, timestamp = t} 369 block_style, timestamp} = 371 block_style = block_style, timestamp = t} 426 timestamp = 0, 434 timestamp = 0, 440 timestamp = 0, 446 timestamp = 0, 455 timestamp = 0, 462 timestamp [all...] |
H A D | term_pp.sml | 267 fun lift f (rr as {term_name,timestamp,elements,...}) = 272 map (fn s => (s, (timestamp, f [rr]))) [nilstr, cons] 275 [(term_name, (timestamp, f [rr]))] 281 | bstamp (BinderString r) = #timestamp r
|
/seL4-l4v-master/seL4/src/benchmark/ |
H A D | benchmark_track.c | 20 timestamp_t ksExit = timestamp();
|
/seL4-l4v-master/seL4/include/arch/arm/arch/ |
H A D | benchmark.h | 27 static inline timestamp_t timestamp(void) function
|
/seL4-l4v-master/seL4/include/benchmark/ |
H A D | benchmark.h | 31 ksEntries[id] = timestamp(); 38 ksExit = timestamp();
|
H A D | benchmark_track.h | 46 ksEnter = timestamp();
|
/seL4-l4v-master/isabelle/src/Pure/Admin/ |
H A D | jenkins.scala | 69 timestamp: Long, 73 val date: Date = Date(Time.ms(timestamp), Date.timezone_berlin) 129 invoke(root() + "/job/" + job_name, "tree=allBuilds[number,timestamp,artifacts[*]]"), 132 timestamp <- JSON.long(build, "timestamp") 142 Job_Info(job_name, timestamp, main_log, session_logs) 145 infos.sortBy(info => - info.timestamp)
|
/seL4-l4v-master/l4v/isabelle/src/Pure/Admin/ |
H A D | jenkins.scala | 69 timestamp: Long, 73 val date: Date = Date(Time.ms(timestamp), Date.timezone_berlin) 129 invoke(root() + "/job/" + job_name, "tree=allBuilds[number,timestamp,artifacts[*]]"), 132 timestamp <- JSON.long(build, "timestamp") 142 Job_Info(job_name, timestamp, main_log, session_logs) 145 infos.sortBy(info => - info.timestamp)
|
/seL4-l4v-master/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-master/HOL4/src/finite_maps/ |
H A D | alist_treeLib.sml | 251 val start = Portable.timestamp () 253 val time = Time.-(Portable.timestamp (), start)
|
/seL4-l4v-master/HOL4/src/res_quan/Manual/ |
H A D | summacs.tex | 135 \def\timestamp{\number\day\space\monthname\space
|
/seL4-l4v-master/HOL4/src/portableML/ |
H A D | Portable.sig | 203 val timestamp: unit -> time value
|
/seL4-l4v-master/HOL4/tools/Holmake/ |
H A D | Holmake.sml | 253 val timestamp = fmt "%Y-%m-%dT%H%M" (fromTimeLocal (Time.now())) value 254 val newname0 = hostname^timestamp
|
/seL4-l4v-master/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
|