/seL4-l4v-10.1.1/seL4/src/arch/x86/32/ |
H A D | machine_asm.S | 74 movw 4(%esp), %dx 75 outb %al, %dx 81 movw 4(%esp), %dx 82 outw %ax, %dx 88 movw 4(%esp), %dx 89 outl %eax, %dx 94 movw 4(%esp), %dx 95 inb %dx, %al 100 movw 4(%esp), %dx 101 inw %dx, [all...] |
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/ |
H A D | machine_asm.S | 30 outb %al, %dx 37 outw %ax, %dx 44 outl %eax, %dx 51 inb %dx, %al 58 inw %dx, %ax 65 inl %dx, %eax
|
H A D | head.S | 37 movw $0x3f8, %dx 40 outb %al, %dx
|
/seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/ |
H A D | Spline.java | 22 int dx,dy; field in class:SplineSection 28 dx=dx2;dy=dy2; 37 if (dx>=dy) { 38 if (dx==0) return s; 39 m=1/((double)dx); 40 for (x=0;x<dx;x++) {
|
H A D | TreeNode.java | 131 int dx=0; 140 dx=Math.max(dx,x+h+4+fm.stringWidth(name)); 146 dx=Math.max(dx,d.width); 161 dx=Math.max(dx,x+h+4+fm.stringWidth(name)); 164 return new Dimension(dx,y);
|
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/ |
H A D | Spline.java | 22 int dx,dy; field in class:SplineSection 28 dx=dx2;dy=dy2; 37 if (dx>=dy) { 38 if (dx==0) return s; 39 m=1/((double)dx); 40 for (x=0;x<dx;x++) {
|
H A D | TreeNode.java | 131 int dx=0; 140 dx=Math.max(dx,x+h+4+fm.stringWidth(name)); 146 dx=Math.max(dx,d.width); 161 dx=Math.max(dx,x+h+4+fm.stringWidth(name)); 164 return new Dimension(dx,y);
|
/seL4-l4v-10.1.1/isabelle/src/Tools/Graphview/ |
H A D | shapes.scala | 125 val dx = coords(2).x - coords(0).x 129 ((dx, dy) /: coords.sliding(3)) { 130 case ((dx, dy), List(l, m, r)) => 134 l.x + slack * dx, l.y + slack * dy, 191 val (dx, dy) = (fx - tx, fy - ty) 192 if ((dx * dx + dy * dy) < 1.0) { 194 at.rotate(- (math.atan2(dx, dy) + math.Pi / 2))
|
H A D | layout.scala | 80 private def move_vertex(graph: Graph, v: Vertex, dx: Double): Graph = 81 if (dx == 0.0) graph else graph.map_node(v, info => info.copy(x = info.x + dx)) 262 def move(graph: Graph, dx: Double): Graph = 263 if (dx == 0.0) graph else (graph /: content)(move_vertex(_, _, dx)) 296 val dx = 302 (r.move(graph, dx), moved || d != 0.0) 370 def translate_vertex(v: Layout.Vertex, dx: Double, dy: Double): Layout = 372 if ((dx [all...] |
H A D | graph_panel.scala | 213 val dx = to.x - from.x 219 r.translate(- dx, - dy) 223 ds.foreach(d => graphview.translate_vertex(d, dx / s, dy / s)) 226 ls.foreach(l => graphview.translate_vertex(Layout.Node(l), dx / s, dy / s))
|
H A D | graphview.scala | 37 def translate_vertex(v: Layout.Vertex, dx: Double, dy: Double): Unit = 38 _layout = _layout.translate_vertex(v, dx, dy)
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Graphview/ |
H A D | shapes.scala | 125 val dx = coords(2).x - coords(0).x 129 ((dx, dy) /: coords.sliding(3)) { 130 case ((dx, dy), List(l, m, r)) => 134 l.x + slack * dx, l.y + slack * dy, 191 val (dx, dy) = (fx - tx, fy - ty) 192 if ((dx * dx + dy * dy) < 1.0) { 194 at.rotate(- (math.atan2(dx, dy) + math.Pi / 2))
|
H A D | layout.scala | 80 private def move_vertex(graph: Graph, v: Vertex, dx: Double): Graph = 81 if (dx == 0.0) graph else graph.map_node(v, info => info.copy(x = info.x + dx)) 262 def move(graph: Graph, dx: Double): Graph = 263 if (dx == 0.0) graph else (graph /: content)(move_vertex(_, _, dx)) 296 val dx = 302 (r.move(graph, dx), moved || d != 0.0) 370 def translate_vertex(v: Layout.Vertex, dx: Double, dy: Double): Layout = 372 if ((dx [all...] |
H A D | graph_panel.scala | 213 val dx = to.x - from.x 219 r.translate(- dx, - dy) 223 ds.foreach(d => graphview.translate_vertex(d, dx / s, dy / s)) 226 ls.foreach(l => graphview.translate_vertex(Layout.Node(l), dx / s, dy / s))
|
H A D | graphview.scala | 37 def translate_vertex(v: Layout.Vertex, dx: Double, dy: Double): Unit = 38 _layout = _layout.translate_vertex(v, dx, dy)
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ |
H A D | Transform.sml | 41 type XForm = { m11: real, m12: real, m21: real, m22: real, dx: real, dy: real } 106 type XForm = { m11: real, m12: real, m21: real, m22: real, dx: real, dy: real } 109 fun breakXForm {m11,m12,m21,m22,dx,dy} = (m11,m12,m21,m22,dx,dy) 110 fun mkXForm (m11,m12,m21,m22,dx,dy) = {m11=m11,m12=m12,m21=m21,m22=m22,dx=dx,dy=dy} 153 val zeroXFORM: XForm = { m11=0.0, m12=0.0, m21=0.0, m22=0.0, dx=0.0, dy=0.0 }
|
H A D | Scrollbar.sml | 153 fun ScrollDC(hDC, dx, dy, prcScroll, prcClip, hrgnUpdate): RECT = 156 val () = scrollDC(hDC, dx, dy, prcScroll, prcClip, hrgnUpdate, v) 160 and ScrollWindowEx(hWnd, dx, dy, prcScroll, prcClip, hrgnUpdate, flags) = 164 scrollWindowEx(hWnd, dx, dy, prcScroll, prcClip, hrgnUpdate, v, flags)
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | reals.cpp | 200 double dx = real_arg(pushedArg); local 201 int64_t i = (int64_t)dx; 585 double dx = real_arg(arg); 591 char *chars = poly_dtoa(dx, mode, digits, &decpt, &sign, NULL);
|
H A D | xwindows.cpp | 2666 int dx, 2670 XGetSubImage(d,drawable,sx,sy,sw,sh,mask,CImageFormat(format),image,dx,dy); 2683 int dx, 2689 XPutImage(d,drawable,gc,image,sx,sy,dx,dy,dw,dh); 2771 int dx = ev->xmotion.x - A->button->x; local 2776 if (abs(dx) > MouseDrift) return False; 2785 int dx = ev->xbutton.x - A->button->x; local 2792 if (abs(dx) > MouseDrift) return False; 3712 int dx,dy,s; local 3714 s = XTranslateCoordinates(DEREFDISPLAYHANDLE(dsHandle)->display,src,dst,x,y,&dx, 2655 GetSubImage( Display *d, Drawable drawable, int sx, int sy, unsigned sw, unsigned sh, unsigned mask, int format, XImage *image, int dx, int dy ) argument 2675 PutImage( Display *d, Drawable drawable, GC gc, XImage *image, int sx, int sy, int dx, int dy, unsigned dw, unsigned dh ) argument [all...] |
/seL4-l4v-10.1.1/HOL4/src/quotient/examples/lambda/ |
H A D | barendregt.sml | 184 val xmgroups = map (fn dx => filter (fn (x,matches) => (x = dx))
|
/seL4-l4v-10.1.1/HOL4/src/quotient/examples/sigma/ |
H A D | barendregt.sml | 187 val xmgroups = map (fn dx => filter (fn (x,matches) => (x = dx))
|
/seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/implementation/ |
H A D | lisp_bytecode_stepScript.sml | 915 ``SPEC X64_MODEL p {(w,xs)} q /\ one_byte_list w xs (fun2set (d,dd DIFF dx)) ==> 922 \\ Q.PAT_X_ASSUM `one_byte_list w xs (fun2set (d,dd DIFF dx))` MP_TAC 924 \\ Q.SPEC_TAC (`w`,`w`) \\ Q.SPEC_TAC (`dx`,`dx`) \\ Q.SPEC_TAC (`xs`,`xs`) 934 ``SPEC X64_MODEL p {(w,xs)} q /\ one_byte_list w xs (fun2set (d,dd DIFF dx)) ==> 983 ?dx. (one_byte_list (p + 0x17w) 985 (fun2set (d,dd DIFF dx))` by 1024 \\ Q.LIST_EXISTS_TAC [`[0x41w; 0xB8w] ++ IMMEDIATE32 w0n`,`p + 0x17w`,`dx`]
|
/seL4-l4v-10.1.1/HOL4/src/integer/ |
H A D | int_arithScript.sml | 825 mn | dx + bqn + vpm /\ d | av - ub ) 846 (* m | ax + b /\ n | ux + v ==> mn | dx + vmp + bnq *) 888 (* mn | dx + vmp + bnq /\ d | av - ub ==> m | ax + b *) 948 (* mn | dx + vmp + bnq /\ d | av - ub ==> n | ux + v *)
|
H A D | CooperShell.sml | 483 mn | dx + vmp + bnq /\ d | av - ub
|
/seL4-l4v-10.1.1/HOL4/src/real/ |
H A D | integralScript.sml | 1483 MAP_EVERY X_GEN_TAC [``dx:num->real``, ``px:num->real``] THEN 1486 [``N1 + N2:num``, ``dx:num->real``, ``px:num->real``, 1488 SUBGOAL_THEN``tdiv (a,b) (dx,px) /\ fine (g ((N1:num) + N2)) (dx,px) /\ 1510 abs (rsum (dx,px) f - rsum ((d :num -> num -> real) (N1 + N2), 1516 EXISTS_TAC``abs((rsum(dx,px) f - 1524 EXISTS_TAC``abs(rsum(dx,px) f -
|