Searched refs:tag (Results 1 - 25 of 142) sorted by relevance

123456

/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DFinalTag-sig.sml3 type tag type
5 val axioms_of : tag -> string Nonce.t list
6 val dep_of : tag -> Dep.dep
7 val dest_tag : tag -> string list * string list
8 val isEmpty : tag -> bool
9 val isDisk : tag -> bool
10 val ax_tag : string Nonce.t -> tag
11 val set_dep : Dep.dep -> tag -> tag
12 val read : string -> tag
[all...]
H A DTag.sig3 type tag type
5 val axioms_of : tag -> string Nonce.t list
6 val dep_of : tag -> Dep.dep
7 val dest_tag : tag -> string list * string list
8 val empty_tag : tag
9 val isEmpty : tag -> bool
10 val isDisk : tag -> bool
11 val ax_tag : string Nonce.t -> tag
12 val set_dep : Dep.dep -> tag -> tag
[all...]
/seL4-l4v-10.1.1/seL4/libsel4/include/sel4/
H A Dfaults.h19 seL4_getFault(seL4_MessageInfo_t tag) argument
22 switch (seL4_MessageInfo_get_label(tag)) {
39 return seL4_getArchFault(tag);
45 seL4_isDebugException_tag(seL4_MessageInfo_t tag) argument
47 return seL4_MessageInfo_get_label(tag) == seL4_Fault_DebugException;
52 seL4_isVMFault_tag(seL4_MessageInfo_t tag) argument
54 return seL4_MessageInfo_get_label(tag) == seL4_Fault_VMFault;
58 seL4_isUnknownSyscall_tag(seL4_MessageInfo_t tag) argument
60 return seL4_MessageInfo_get_label(tag) == seL4_Fault_UnknownSyscall;
64 seL4_isUserException_tag(seL4_MessageInfo_t tag) argument
70 seL4_isNullFault_tag(seL4_MessageInfo_t tag) argument
76 seL4_isCapFault_tag(seL4_MessageInfo_t tag) argument
[all...]
H A Ddeprecated.h61 return seL4_GetIPCBuffer()->tag;
65 seL4_SetTag(seL4_MessageInfo_t tag) argument
67 seL4_GetIPCBuffer()->tag = tag;
85 return seL4_isVMFault_tag(seL4_GetIPCBuffer()->tag);
89 seL4_isPageFault_Tag(seL4_MessageInfo_t tag) argument
91 return seL4_isVMFault_tag(tag);
95 seL4_isExceptIPC_Tag(seL4_MessageInfo_t tag) argument
97 return seL4_isUnknownSyscall_tag(tag);
113 seL4_IsArchSyscallFrom(seL4_MessageInfo_t tag) argument
119 seL4_IsArchExceptionFrom(seL4_MessageInfo_t tag) argument
[all...]
H A Dshared_types.h19 seL4_MessageInfo_t tag; member in struct:seL4_IPCBuffer_
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DGrammarAncestry.sml8 val tag = "GrammarAncestry" value
11 Theory.LoadableThyData.new {thydataty = tag, merge = op @,
17 case Theory.LoadableThyData.segment_data{thy=thy, thydataty=tag} of
24 Theory.LoadableThyData.set_theory_data{thydataty = tag, data = write sl}
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
H A Dfaults.h19 seL4_getArchFault(seL4_MessageInfo_t tag) argument
21 switch (seL4_MessageInfo_get_label(tag)) {
61 seL4_isVGICMaintenance_tag(seL4_MessageInfo_t tag) argument
63 return seL4_MessageInfo_get_label(tag) == seL4_Fault_VGICMaintenance;
67 seL4_isVCPUFault_tag(seL4_MessageInfo_t tag) argument
69 return seL4_MessageInfo_get_label(tag) == seL4_Fault_VCPUFault;
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/
H A Dfaults.h19 seL4_getArchFault(seL4_MessageInfo_t tag) argument
21 switch (seL4_MessageInfo_get_label(tag)) {
61 seL4_isVGICMaintenance_tag(seL4_MessageInfo_t tag) argument
63 return seL4_MessageInfo_get_label(tag) == seL4_Fault_VGICMaintenance;
67 seL4_isVCPUFault_tag(seL4_MessageInfo_t tag) argument
69 return seL4_MessageInfo_get_label(tag) == seL4_Fault_VCPUFault;
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/
H A DThread_Data.sml20 abstype 'a var = Var of 'a option Universal.tag
23 fun var () : 'a var = Var (Universal.tag ());
25 fun get (Var tag) =
26 (case Thread.Thread.getLocal tag of
30 fun put (Var tag) data = Thread.Thread.setLocal (tag, data);
/seL4-l4v-10.1.1/HOL4/tools/Holmake/poly/
H A DMB_Monitor.sig6 genLogFile : {tag:string} -> string,
H A DMB_Monitor.sml74 fun polish0 tag =
75 trashsfxes ["Theory", "Theory.sig", "Theory.sml", "Theory.dat"] tag
169 fun stdhandle tag f =
170 case Binarymap.peek (!monitor_map, tag) of
171 NONE => (warn ("Lost monitor info for "^tag); NONE)
173 fun taginfo tag colour s =
177 (delsml_sfx tag) ^
181 StartJob (_, tag) =>
183 val strm = TextIO.openOut (genLogFile{tag = tag})
[all...]
H A DProcessMultiplexor.sml16 type 'a job = {tag : string, command : command, update : 'a * bool -> 'a}
22 tag : string,
51 fun from tag command update starttime lastevent out err
53 {tag = tag, command = command, update = update, starttime = starttime,
57 tag =
58 {tag = tag, command = command, update = update, starttime = starttime,
61 fun to f {tag, command, update, starttime, lastevent, out,
63 f tag comman
155 val {tag, command, update} = j value
[all...]
/seL4-l4v-10.1.1/isabelle/src/Pure/Tools/
H A Dbuild_docker.scala32 tag: String = "",
89 val tag_option = if (tag == "") "" else " -t " + Bash.string(tag)
109 var tag = ""
124 -t TAG docker build tag
148 "t:" -> (arg => tag = arg),
160 more_packages = more_packages, tag = tag, verbose = verbose)
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Tools/
H A Dbuild_docker.scala32 tag: String = "",
89 val tag_option = if (tag == "") "" else " -t " + Bash.string(tag)
109 var tag = ""
124 -t TAG docker build tag
148 "t:" -> (arg => tag = arg),
160 more_packages = more_packages, tag = tag, verbose = verbose)
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
H A Dfaults.h21 seL4_getArchFault(seL4_MessageInfo_t tag) argument
23 switch (seL4_MessageInfo_get_label(tag)) {
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dfaults.h19 seL4_getArchFault(seL4_MessageInfo_t tag) argument
21 switch (seL4_MessageInfo_get_label(tag)) {
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/
H A Dfaults.h27 seL4_getArchFault(seL4_MessageInfo_t tag) argument
29 switch (seL4_MessageInfo_get_label(tag)) {
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/
H A Dfaults.h27 seL4_getArchFault(seL4_MessageInfo_t tag) argument
29 switch (seL4_MessageInfo_get_label(tag)) {
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dfaults.h21 seL4_getArchFault(seL4_MessageInfo_t tag) argument
23 switch (seL4_MessageInfo_get_label(tag)) {
/seL4-l4v-10.1.1/graph-refine/
H A Dc_rodata.py12 tag = p.node_tags[n][0]
13 is_C = tag == 'C' or p.hook_tag_hints.get (tag, None) == 'C'
H A Dproblem.py52 def alloc_node (self, tag, detail, loop_id = None, hint = None):
56 self.node_tags[name] = (tag, detail)
57 self.node_tag_revs.setdefault ((tag, detail), [])
58 self.node_tag_revs[(tag, detail)].append (name)
69 def clone_function (self, fun, tag):
75 self.node_tags[n] = (tag, detail)
76 self.node_tag_revs.setdefault ((tag, detail), [])
77 self.node_tag_revs[(tag, detail)].append (n)
78 self.outputs[tag] = fun.outputs
79 self.entries = [(fun.entry, tag, fu
[all...]
H A Drep_graph.py241 pc1 = rep.get_pc (visit1, tag = tag1)
245 pc2 = rep.get_pc (visit2, tag = tag2)
253 x_pc_env = rep.get_node_pc_env (xvis[0], tag = xvis[1])
254 y_pc_env = rep.get_node_pc_env (yvis[0], tag = yvis[1])
263 x_pc = rep.get_pc (xvis[0], tag = xvis[1])
264 y_pc = rep.get_pc (yvis[0], tag = yvis[1])
271 def check_vis_is_vis (((n, vc), tag)):
341 def get_tag_vcount (self, (n, vcount), tag):
342 if tag == None:
343 tag
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DASN1.sml38 (* Parse the tag and length information to extract the first tag/value pair from the
42 (* Parse the tag and length information to extract the first tag/value pair from the
45 {tag: tagType, data: Word8VectorSlice.slice, remainder: Word8VectorSlice.slice} option
51 (* Encode a tag/value pair. *)
112 (* The tag is the bottom five bits except that if it is 0x1f
113 the tag is encoded in subsequent bytes. *)
116 0w31 => (* This is a long-format tag *)
124 val tag'
[all...]
/seL4-l4v-10.1.1/HOL4/src/thm/
H A DOverlay.sml20 structure Tag = Tag :> FinalTag where type tag = Tag.tag type
/seL4-l4v-10.1.1/seL4/include/api/
H A Dshared_types.h19 seL4_MessageInfo_t tag; member in struct:seL4_IPCBuffer_

Completed in 213 milliseconds

123456