Searched refs:original (Results 1 - 25 of 242) sorted by relevance

12345678910

/seL4-l4v-master/seL4/src/arch/x86/machine/
H A Dcpu_identification.c57 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 Dunspecified_pre_cond.py19 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 DGrammarSpecials.sml15 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 DGrammarSpecials.sig14 {original : KernelSig.kernelname option, fake : string} -> string
16 string -> {original : KernelSig.kernelname option, fake : string} option
H A DPrecAnalysis.sig27 those list blocks are and how many TMs of the original have been consumed
/seL4-l4v-master/isabelle/src/Pure/General/
H A Dcompletion.scala24 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 Dcompletion.scala24 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 DFeedback.sml194 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 DFeedback.sig46 val register_alias_trace : {original:string,alias:string} -> unit
/seL4-l4v-master/isabelle/src/Pure/Tools/
H A Dscala_project.scala131 -L make symlinks to original scala files
/seL4-l4v-master/l4v/isabelle/src/Pure/Tools/
H A Dscala_project.scala131 -L make symlinks to original scala files
/seL4-l4v-master/HOL4/tools/mlyacc/src/
H A Dshrink.sml51 * 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 DIntDP_Munge.sig42 is "equivalent" to the original (but with possible extra
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dbasicio.cpp6 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 Dbibtex.scala194 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 Dbibtex.scala194 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 DtttLearn.sml97 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 Dselftest.sml42 (finish(); die "Term read not alpha-equivalent to original term.")
/seL4-l4v-master/HOL4/src/simp/src/
H A DTravrules.sml6 * Based loosely on original HOL rewriting by
/seL4-l4v-master/HOL4/src/tfl/examples/sorting/
H A DpartitionScript.sml64 Everything in the partitions occurs in the original list, and
/seL4-l4v-master/HOL4/polyml/basis/
H A DThreadLib.sml27 defined here using the underlying calls. The original version with
/seL4-l4v-master/HOL4/Manual/Description/
H A Dpreface.tex49 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 Dack.tex85 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 Dpreface.tex50 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 Dcspace.tex83 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...]

Completed in 205 milliseconds

12345678910