/seL4-l4v-master/HOL4/tools/vim/ |
H A D | holabs.vim | 1 iab <buffer> /\ ��� 3 iab <buffer> \/ ��� 5 iab <buffer> ~ �� 8 iab <buffer> ==> ��� 10 iab <buffer> <= ��� 12 iab <buffer> >= ��� 14 iab <buffer> <=> ��� 16 iab <buffer> <> ��� 18 iab <buffer> ! ��� 20 iab <buffer> [all...] |
/seL4-l4v-master/seL4/include/64/mode/api/ |
H A D | ipc_buffer.h | 12 static inline time_t mode_parseTimeArg(word_t i, word_t *buffer) argument 14 return getSyscallArg(i, buffer); 17 static inline word_t mode_setTimeArg(word_t i, time_t time, word_t *buffer, tcb_t *thread) argument 19 return setMR(thread, buffer, i, time);
|
/seL4-l4v-master/isabelle/src/Tools/jEdit/src/ |
H A D | isabelle_encoding.scala | 12 import org.gjt.sp.jedit.buffer.JEditBuffer 17 def is_active(buffer: JEditBuffer): Boolean = 18 buffer.getStringProperty(JEditBuffer.ENCODING).asInstanceOf[String] == "UTF-8-Isabelle" 20 def perhaps_decode(buffer: JEditBuffer, s: String): String = 21 if (is_active(buffer)) Symbol.decode(s) else s
|
H A D | fold_handling.scala | 16 import org.gjt.sp.jedit.buffer.{JEditBuffer, FoldHandler} 31 override def getFoldLevel(buffer: JEditBuffer, line: Int, seg: Segment): Int = 32 Token_Markup.Line_Context.after(buffer, line).structure.depth max 0 35 buffer: JEditBuffer, line: Int, seg: Segment, level: Int): java.util.List[Integer] = 37 val structure = Token_Markup.Line_Context.after(buffer, line).structure 41 map(i => Token_Markup.Line_Context.after(buffer, i).structure). 62 override def getFoldLevel(buffer: JEditBuffer, line: Int, seg: Segment): Int = 75 val range = JEdit_Lib.line_range(buffer, line - 1) 76 buffer.getFoldLevel(line - 1) - depth(range.start - 1) + depth(range.stop - 1)
|
H A D | token_markup.scala | 20 import org.gjt.sp.jedit.buffer.JEditBuffer 32 def before(buffer: JEditBuffer, line: Int): Line_Context = 33 if (line == 0) init(JEdit_Lib.buffer_mode(buffer)) 34 else after(buffer, line - 1) 36 def after(buffer: JEditBuffer, line: Int): Line_Context = 38 val line_mgr = JEdit_Lib.buffer_line_manager(buffer) 45 buffer.markTokens(line, DummyTokenHandler.INSTANCE) 46 context getOrElse init(JEdit_Lib.buffer_mode(buffer)) 71 private def try_line_tokens(syntax: Outer_Syntax, buffer: JEditBuffer, line: Int) 74 val line_context = Line_Context.before(buffer, lin [all...] |
H A D | jedit_lib.scala | 22 import org.gjt.sp.jedit.buffer.{JEditBuffer, LineManager} 108 def buffer_text(buffer: JEditBuffer): String = 109 buffer_lock(buffer) { buffer.getText(0, buffer.getLength) } 111 def buffer_reader(buffer: JEditBuffer): CharSequenceReader = 112 Scan.char_reader(buffer.getSegment(0, buffer.getLength)) 114 def buffer_mode(buffer: JEditBuffer): String = 116 val mode = buffer [all...] |
H A D | jedit_resources.scala | 4 Resources for theories and auxiliary files, based on jEdit buffer 51 def node_name(buffer: Buffer): Document.Node.Name = 52 node_name(JEdit_Lib.buffer_name(buffer)) 54 def theory_node_name(buffer: Buffer): Option[Document.Node.Name] = 56 val name = node_name(buffer) 94 case Some(model: Buffer_Model) => Some(JEdit_Lib.buffer_text(model.buffer)) 104 JEdit_Lib.buffer_lock(model.buffer) { Some(f(JEdit_Lib.buffer_reader(model.buffer))) } 119 private class File_Content_Output(buffer: Buffer) extends 120 ByteArrayOutputStream(buffer [all...] |
H A D | isabelle.scala | 18 import org.gjt.sp.jedit.buffer.JEditBuffer 63 def buffer_syntax(buffer: JEditBuffer): Option[Outer_Syntax] = 64 if (buffer == null) None 66 (JEdit_Lib.buffer_mode(buffer), Document_Model.get(buffer)) match { 81 def buffer_token_marker(buffer: Buffer): Option[TokenMarker] = 83 val mode = JEdit_Lib.buffer_mode(buffer) 84 if (mode == "isabelle") Some(new Token_Markup.Marker(mode, Some(buffer))) 247 def indent_enabled(buffer: JEditBuffer, option: String): Boolean = 248 indent_rule(JEdit_Lib.buffer_mode(buffer)) [all...] |
H A D | plugin.scala | 31 val buffer = JEdit_Lib.jedit_view(view).getBuffer 32 Document_Model.get(buffer).map(_.snapshot) 42 maybe_snapshot(view) getOrElse error("No document model for current buffer") 235 buffers.foreach(buffer => 236 JEdit_Lib.buffer_lock(buffer) { 237 JEdit_Lib.jedit_text_areas(buffer).foreach(Document_View.exit) 238 Document_Model.exit(buffer) 249 buffer <- JEdit_Lib.jedit_buffers() 250 if buffer != null && !buffer [all...] |
/seL4-l4v-master/l4v/isabelle/src/Tools/jEdit/src/ |
H A D | isabelle_encoding.scala | 12 import org.gjt.sp.jedit.buffer.JEditBuffer 17 def is_active(buffer: JEditBuffer): Boolean = 18 buffer.getStringProperty(JEditBuffer.ENCODING).asInstanceOf[String] == "UTF-8-Isabelle" 20 def perhaps_decode(buffer: JEditBuffer, s: String): String = 21 if (is_active(buffer)) Symbol.decode(s) else s
|
H A D | fold_handling.scala | 16 import org.gjt.sp.jedit.buffer.{JEditBuffer, FoldHandler} 31 override def getFoldLevel(buffer: JEditBuffer, line: Int, seg: Segment): Int = 32 Token_Markup.Line_Context.after(buffer, line).structure.depth max 0 35 buffer: JEditBuffer, line: Int, seg: Segment, level: Int): java.util.List[Integer] = 37 val structure = Token_Markup.Line_Context.after(buffer, line).structure 41 map(i => Token_Markup.Line_Context.after(buffer, i).structure). 62 override def getFoldLevel(buffer: JEditBuffer, line: Int, seg: Segment): Int = 75 val range = JEdit_Lib.line_range(buffer, line - 1) 76 buffer.getFoldLevel(line - 1) - depth(range.start - 1) + depth(range.stop - 1)
|
H A D | token_markup.scala | 20 import org.gjt.sp.jedit.buffer.JEditBuffer 32 def before(buffer: JEditBuffer, line: Int): Line_Context = 33 if (line == 0) init(JEdit_Lib.buffer_mode(buffer)) 34 else after(buffer, line - 1) 36 def after(buffer: JEditBuffer, line: Int): Line_Context = 38 val line_mgr = JEdit_Lib.buffer_line_manager(buffer) 45 buffer.markTokens(line, DummyTokenHandler.INSTANCE) 46 context getOrElse init(JEdit_Lib.buffer_mode(buffer)) 71 private def try_line_tokens(syntax: Outer_Syntax, buffer: JEditBuffer, line: Int) 74 val line_context = Line_Context.before(buffer, lin [all...] |
H A D | jedit_lib.scala | 22 import org.gjt.sp.jedit.buffer.{JEditBuffer, LineManager} 108 def buffer_text(buffer: JEditBuffer): String = 109 buffer_lock(buffer) { buffer.getText(0, buffer.getLength) } 111 def buffer_reader(buffer: JEditBuffer): CharSequenceReader = 112 Scan.char_reader(buffer.getSegment(0, buffer.getLength)) 114 def buffer_mode(buffer: JEditBuffer): String = 116 val mode = buffer [all...] |
H A D | jedit_resources.scala | 4 Resources for theories and auxiliary files, based on jEdit buffer 51 def node_name(buffer: Buffer): Document.Node.Name = 52 node_name(JEdit_Lib.buffer_name(buffer)) 54 def theory_node_name(buffer: Buffer): Option[Document.Node.Name] = 56 val name = node_name(buffer) 94 case Some(model: Buffer_Model) => Some(JEdit_Lib.buffer_text(model.buffer)) 104 JEdit_Lib.buffer_lock(model.buffer) { Some(f(JEdit_Lib.buffer_reader(model.buffer))) } 119 private class File_Content_Output(buffer: Buffer) extends 120 ByteArrayOutputStream(buffer [all...] |
H A D | isabelle.scala | 18 import org.gjt.sp.jedit.buffer.JEditBuffer 63 def buffer_syntax(buffer: JEditBuffer): Option[Outer_Syntax] = 64 if (buffer == null) None 66 (JEdit_Lib.buffer_mode(buffer), Document_Model.get(buffer)) match { 81 def buffer_token_marker(buffer: Buffer): Option[TokenMarker] = 83 val mode = JEdit_Lib.buffer_mode(buffer) 84 if (mode == "isabelle") Some(new Token_Markup.Marker(mode, Some(buffer))) 247 def indent_enabled(buffer: JEditBuffer, option: String): Boolean = 248 indent_rule(JEdit_Lib.buffer_mode(buffer)) [all...] |
H A D | plugin.scala | 31 val buffer = JEdit_Lib.jedit_view(view).getBuffer 32 Document_Model.get(buffer).map(_.snapshot) 42 maybe_snapshot(view) getOrElse error("No document model for current buffer") 235 buffers.foreach(buffer => 236 JEdit_Lib.buffer_lock(buffer) { 237 JEdit_Lib.jedit_text_areas(buffer).foreach(Document_View.exit) 238 Document_Model.exit(buffer) 249 buffer <- JEdit_Lib.jedit_buffers() 250 if buffer != null && !buffer [all...] |
/seL4-l4v-master/seL4/include/32/mode/api/ |
H A D | ipc_buffer.h | 13 static inline time_t mode_parseTimeArg(word_t i, word_t *buffer) argument 15 return (((time_t) getSyscallArg(i + 1, buffer) << 32llu) + getSyscallArg(i, buffer)); 18 static inline word_t mode_setTimeArg(word_t i, time_t time, word_t *buffer, tcb_t *thread) argument 20 setMR(thread, buffer, i, (uint32_t) time); 21 return setMR(thread, buffer, i + 1, (uint32_t)(time >> 32llu));
|
/seL4-l4v-master/seL4/src/benchmark/ |
H A D | benchmark_utilisation.c | 16 uint64_t *buffer = ((uint64_t *) & (((seL4_IPCBuffer *)lookupIPCBuffer(true, NODE_STATE(ksCurThread)))->msg[0])); local 33 buffer[BENCHMARK_TCB_UTILISATION] = tcb->benchmark.utilisation; /* Requested thread utilisation */ 34 buffer[BENCHMARK_TCB_NUMBER_SCHEDULES] = tcb->benchmark.number_schedules; /* Number of times scheduled */ 35 buffer[BENCHMARK_TCB_KERNEL_UTILISATION] = tcb->benchmark.kernel_utilisation; /* Utilisation spent in kernel */ 36 buffer[BENCHMARK_TCB_NUMBER_KERNEL_ENTRIES] = tcb->benchmark.number_kernel_entries; /* Number of kernel entries */ 39 buffer[BENCHMARK_IDLE_LOCALCPU_UTILISATION] = NODE_STATE( 42 buffer[BENCHMARK_IDLE_TCBCPU_UTILISATION] = NODE_STATE_ON_CORE(ksIdleThread, 45 buffer[BENCHMARK_IDLE_TCBCPU_UTILISATION] = buffer[BENCHMARK_IDLE_LOCALCPU_UTILISATION]; 48 buffer[BENCHMARK_IDLE_NUMBER_SCHEDULE [all...] |
/seL4-l4v-master/l4v/misc/filemerge/faster/ |
H A D | translate.cpp | 49 wchar_t buffer[ASCII_SEQ_MAX + 1]; local 55 buffer[index++] = c; 57 if ((index == 1 && buffer[0] != '\\') || 58 (index == 2 && buffer[1] != '<') || 59 (index == 3 && buffer[2] == '^')) { 60 /* Dump the buffer. */ 61 buffer[index] = '\0'; 62 out << buffer; local 64 } else if (buffer[index - 1] == '>') { 65 buffer[inde 82 out << buffer; local [all...] |
/seL4-l4v-master/seL4/src/arch/arm/object/ |
H A D | interrupt.c | 23 word_t *buffer) 37 word_t irq_w = getSyscallArg(0, buffer); 39 bool_t trigger = !!getSyscallArg(1, buffer); 40 word_t index = getSyscallArg(2, buffer); 41 word_t depth = getSyscallArg(3, buffer); 65 getExtraCPtr(buffer, 0), (int)IRQT_TO_IRQ(irq)); 74 getExtraCPtr(buffer, 0), (int)IRQT_TO_IRQ(irq)); 82 word_t irq_w = getSyscallArg(0, buffer); 83 bool_t trigger = !!getSyscallArg(1, buffer); 84 word_t index = getSyscallArg(2, buffer); 21 Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, word_t *buffer) argument [all...] |
/seL4-l4v-master/seL4/src/arch/riscv/object/ |
H A D | interrupt.c | 35 word_t *buffer) 49 word_t irq_w = getSyscallArg(0, buffer); 51 bool_t trigger = !!getSyscallArg(1, buffer); 52 word_t index = getSyscallArg(2, buffer); 53 word_t depth = getSyscallArg(3, buffer); 71 getExtraCPtr(buffer, 0), (int)irq); 80 getExtraCPtr(buffer, 0), (int)irq); 33 Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, word_t *buffer) argument
|
/seL4-l4v-master/seL4/include/object/ |
H A D | schedcontrol.h | 14 word_t *buffer);
|
/seL4-l4v-master/seL4/include/arch/riscv/arch/object/ |
H A D | interrupt.h | 22 word_t *buffer);
|
/seL4-l4v-master/seL4/include/arch/arm/arch/object/ |
H A D | iospace.h | 17 word_t *buffer); 19 word_t *buffer); 35 extra_caps_t excaps, word_t *buffer) 41 extra_caps_t excaps, word_t *buffer) 34 decodeARMIOPTInvocation(word_t invLabel, uint32_t length, cte_t *slot, cap_t cap, extra_caps_t excaps, word_t *buffer) argument 40 decodeARMIOMapInvocation(word_t invLabel, uint32_t length, cte_t *slot, cap_t cap, extra_caps_t excaps, word_t *buffer) argument
|
H A D | smmu.h | 19 bool_t call, word_t *buffer); 23 bool_t call, word_t *buffer); 27 bool_t call, word_t *buffer); 31 bool_t call, word_t *buffer);
|