/seL4-l4v-master/seL4/src/arch/x86/machine/ |
H A D | cpu_identification.c | 57 struct family_model original) 65 if (original.family != 0x0F) { 66 ci->display.family = original.family; 68 ci->display.family = ci->display.extended_family + original.family; 72 * original family_ID value read from CPUID.EAX, like: 73 * if (original->family == 0x06 || original->family == 0x0F) { 91 ci->display.model = (ci->display.extended_model << 4u) + original.model; 93 ci->display.model = original.model; 98 struct family_model original) 56 x86_cpuid_intel_identity_initialize(cpu_identity_t *ci, struct family_model original) argument 97 x86_cpuid_amd_identity_initialize(cpu_identity_t *ci, struct family_model original) argument 119 struct family_model original; local [all...] |
/seL4-l4v-master/graph-refine/graph-to-graph/wcet_scripts/ |
H A D | unspecified_pre_cond.py | 19 original = open(original_name) variable 23 line = original.readline() 30 next_line = original.readline() 37 original.close()
|
/seL4-l4v-master/HOL4/src/parse/ |
H A D | GrammarSpecials.sml | 15 fun mk_fakeconst_name {original,fake} = let 21 (fake, original) 31 SOME (fake, original) => SOME{fake = fake, original = original} 70 mk_fakeconst_name {original = SOME {Thy = "case magic", Name = nm}, 76 SOME {original = SOME{Thy="case magic",Name},fake="case"} => SOME Name
|
H A D | GrammarSpecials.sig | 14 {original : KernelSig.kernelname option, fake : string} -> string 16 string -> {original : KernelSig.kernelname option, fake : string} option
|
H A D | PrecAnalysis.sig | 27 those list blocks are and how many TMs of the original have been consumed
|
/seL4-l4v-master/isabelle/src/Pure/General/ |
H A D | completion.scala | 24 original: String, 39 if (res1.range != res2.range || res1.original != res2.original) result1 42 Some(Result(res1.range, res1.original, false, items)) 49 original: String, 204 original: String): Option[Completion.Result] = 211 if xname1 != original 221 List(original, xname1).map(Token.explode(Keyword.Keywords.empty, _)) match { 227 Item(range, original, full_name, description, replacement, 0, true) 231 else Some(Result(range, original, name [all...] |
/seL4-l4v-master/l4v/isabelle/src/Pure/General/ |
H A D | completion.scala | 24 original: String, 39 if (res1.range != res2.range || res1.original != res2.original) result1 42 Some(Result(res1.range, res1.original, false, items)) 49 original: String, 204 original: String): Option[Completion.Result] = 211 if xname1 != original 221 List(original, xname1).map(Token.explode(Keyword.Keywords.empty, _)) match { 227 Item(range, original, full_name, description, replacement, 0, true) 231 else Some(Result(range, original, name [all...] |
/seL4-l4v-master/HOL4/src/prekernel/ |
H A D | Feedback.sml | 194 fun register_alias_trace {original, alias} = 195 if original = alias then 196 WARN "register_alias_trace" "original and alias are equal; doing nothing" 198 case find_record original of 200 ("Original trace: \""^original^"\" doesn't exist") 208 val record_alias = Binarymap.insert(!trace_map, original, TR rcd) 209 val mk_alias = Binarymap.insert(record_alias, alias, ALIAS original) 214 if a = original then ()
|
H A D | Feedback.sig | 46 val register_alias_trace : {original:string,alias:string} -> unit
|
/seL4-l4v-master/isabelle/src/Pure/Tools/ |
H A D | scala_project.scala | 131 -L make symlinks to original scala files
|
/seL4-l4v-master/l4v/isabelle/src/Pure/Tools/ |
H A D | scala_project.scala | 131 -L make symlinks to original scala files
|
/seL4-l4v-master/HOL4/tools/mlyacc/src/ |
H A D | shrink.sml | 51 * a list which maps each original entry to an equivalence 53 class for the nth entry in the original entry list. 111 Let the original entry list be E. We map E to a list of a pairs 115 We then sort EP on the original entries. The second elements in the 120 the original list and a list SE of integers which gives the
|
/seL4-l4v-master/HOL4/src/integer/ |
H A D | IntDP_Munge.sig | 42 is "equivalent" to the original (but with possible extra
|
/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | basicio.cpp | 6 Portions of this code are derived from the original stream io 403 /* Remember our original position, seek to the end, then seek back. */ 404 long original = seekStream(taskData, fd, 0L, SEEK_CUR); local 406 if (seekStream(taskData, fd, original, SEEK_SET) != original) 408 return Make_fixed_precision(taskData, endOfStream-original); 818 /* Remember our original position, seek to the end, then seek back. */ 819 long original = seekStream(taskData, fd, 0L, SEEK_CUR); local 821 if (seekStream(taskData, fd, original, SEEK_SET) != original) [all...] |
/seL4-l4v-master/isabelle/src/Pure/Thy/ |
H A D | bibtex.scala | 194 original <- rendering.model.get_text(r) 195 original1 <- Completion.clean_name(Library.perhaps_unquote(original)) 210 Completion.Item(r, original, full_name, description, replacement, 0, false) 212 } yield Completion.Result(r, original, false, items)
|
/seL4-l4v-master/l4v/isabelle/src/Pure/Thy/ |
H A D | bibtex.scala | 194 original <- rendering.model.get_text(r) 195 original1 <- Completion.clean_name(Library.perhaps_unquote(original)) 210 Completion.Item(r, original, full_name, description, replacement, 0, false) 212 } yield Completion.Result(r, original, false, items)
|
/seL4-l4v-master/HOL4/src/tactictoe/src/ |
H A D | tttLearn.sml | 97 Testing if a predicted tactic as a "better effect" than the original 113 Updates the original label if a better tactic is found
|
/seL4-l4v-master/HOL4/src/HolQbf/ |
H A D | selftest.sml | 42 (finish(); die "Term read not alpha-equivalent to original term.")
|
/seL4-l4v-master/HOL4/src/simp/src/ |
H A D | Travrules.sml | 6 * Based loosely on original HOL rewriting by
|
/seL4-l4v-master/HOL4/src/tfl/examples/sorting/ |
H A D | partitionScript.sml | 64 Everything in the partitions occurs in the original list, and
|
/seL4-l4v-master/HOL4/polyml/basis/ |
H A D | ThreadLib.sml | 27 defined here using the underlying calls. The original version with
|
/seL4-l4v-master/HOL4/Manual/Description/ |
H A D | preface.tex | 49 the intention that other logics eventually be tried in place of the original 55 The original \LCF\ was implemented at Edinburgh in the early 1970's, and is now 67 released (in 1988), after the original \HOL\ system had been in use
|
/seL4-l4v-master/HOL4/Manual/LaTeX/ |
H A D | ack.tex | 85 The original document design used \LaTeX\ macros supplied by Elsa 89 Avra Cohn (in whose garden the original object resides). John Van 102 This research environment was wonderfully productive for many of the system's authors, and we all owe Mike an enormous debt for both the original work on \HOL, and for the way he and his group supported our own development as researchers and \HOL{} hackers.
|
/seL4-l4v-master/HOL4/Manual/Logic/ |
H A D | preface.tex | 50 other logics eventually be tried in place of the original logic. The 56 The original \LCF\ was implemented at Edinburgh in the early 1970's, and is now 68 released (in 1988), after the original \HOL\ system had been in use
|
/seL4-l4v-master/seL4/manual/parts/ |
H A D | cspace.tex | 83 the original and a different guard (see 89 capability has the same badge and guard as the original. 97 original copy remaining. 154 capabilities may be manufactured from this original capability, using 189 only \emph{original} capabilities support derivation invocations, but 228 are the original capability to the respective object, both are 231 Ordinary original capabilities can have one level of derived 236 The original \obj{Endpoint} or \obj{Notification} capability will be unbadged. Using 239 an original capability (the ``original badge [all...] |