/seL4-l4v-10.1.1/HOL4/src/prekernel/ |
H A D | FinalTag-sig.sml | 3 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 D | Tag.sig | 3 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 D | faults.h | 19 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 D | deprecated.h | 61 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 D | shared_types.h | 19 seL4_MessageInfo_t tag; member in struct:seL4_IPCBuffer_
|
/seL4-l4v-10.1.1/HOL4/src/parse/ |
H A D | GrammarAncestry.sml | 8 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 D | faults.h | 19 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 D | faults.h | 19 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 D | Thread_Data.sml | 20 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 D | MB_Monitor.sig | 6 genLogFile : {tag:string} -> string,
|
H A D | MB_Monitor.sml | 74 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 D | ProcessMultiplexor.sml | 16 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 D | build_docker.scala | 32 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 D | build_docker.scala | 32 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 D | faults.h | 21 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 D | faults.h | 19 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 D | faults.h | 27 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 D | faults.h | 27 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 D | faults.h | 21 seL4_getArchFault(seL4_MessageInfo_t tag) argument 23 switch (seL4_MessageInfo_get_label(tag)) {
|
/seL4-l4v-10.1.1/graph-refine/ |
H A D | c_rodata.py | 12 tag = p.node_tags[n][0] 13 is_C = tag == 'C' or p.hook_tag_hints.get (tag, None) == 'C'
|
H A D | problem.py | 52 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 D | rep_graph.py | 241 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 D | ASN1.sml | 38 (* 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 D | Overlay.sml | 20 structure Tag = Tag :> FinalTag where type tag = Tag.tag type
|
/seL4-l4v-10.1.1/seL4/include/api/ |
H A D | shared_types.h | 19 seL4_MessageInfo_t tag; member in struct:seL4_IPCBuffer_
|