Searched defs:timestamp (Results 1 - 11 of 11) sorted by relevance

/seL4-l4v-master/seL4/include/arch/riscv/arch/
H A Dbenchmark.h15 static inline timestamp_t timestamp(void) function
/seL4-l4v-master/seL4/include/arch/x86/arch/
H A Dbenchmark.h12 static inline uint64_t timestamp(void) function
/seL4-l4v-master/seL4/include/arch/arm/arch/
H A Dbenchmark.h27 static inline timestamp_t timestamp(void) function
/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/
H A DTreeBrowser.java22 long timestamp; field in class:TreeBrowser
H A DGraphView.java25 long timestamp; field in class:GraphView
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/
H A DTreeBrowser.java22 long timestamp; field in class:TreeBrowser
H A DGraphView.java25 long timestamp; field in class:GraphView
/seL4-l4v-master/HOL4/tools/Holmake/
H A DHolmake.sml253 val timestamp = fmt "%Y-%m-%dT%H%M" (fromTimeLocal (Time.now())) value
/seL4-l4v-master/HOL4/src/portableML/
H A DPortable.sig203 val timestamp: unit -> time value
H A DPortable.sml647 val timestamp: unit -> time = now value
/seL4-l4v-master/HOL4/tools/
H A Dbuildutils.sml940 val timestamp = fmt "%Y-%m-%dT%H%M" (fromTimeLocal (Time.now())) value

Completed in 124 milliseconds