Searched refs:value (Results 1 - 25 of 663) sorted by relevance

1234567891011>>

/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DPEGParse.sig4 datatype ('tok,'nt,'value)pegsym =
5 empty of 'value
6 | any of 'tok -> 'value
7 | tok of ('tok -> bool) * ('tok -> 'value)
8 | nt of 'nt * ('value -> 'value)
9 | seq of ('tok,'nt,'value)pegsym * ('tok,'nt,'value)pegsym *
10 ('value -> 'value
[all...]
H A DPEGParse.sml4 datatype ('tok,'nt,'value)pegsym =
5 empty of 'value
6 | any of 'tok -> 'value
7 | tok of ('tok -> bool) * ('tok -> 'value)
8 | nt of 'nt * ('value -> 'value)
9 | seq of ('tok,'nt,'value)pegsym * ('tok,'nt,'value)pegsym * ('value -> 'value
[all...]
H A DAList.sml4 Association lists -- lists of (key, value) pairs.
17 | find ((key', value)::xs) i =
34 | lookup eq ((key, value)::xs) key' =
35 if eq (key', key) then SOME value
39 | defined eq ((key, value)::xs) key' =
42 fun update eq (x as (key, value)) =
45 fun default eq (key, value) xs =
46 if defined eq xs key then xs else (key, value) :: xs;
52 map_index eq key I (fn (key, value) => cons (key, f value));
[all...]
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/
H A Dmuddy.c37 value is about to be garbage-collected by the camlrunm runtime
75 value mlbdd_alloc_final(mlsize_t len, final_fun fun)
77 value result;
107 static void mlbdd_copy2cstring(value from, char* to){
119 EXTERNML value mlbdd_setprintgc(value print, value pre, value post) /* ML */
133 EXTERNML value mlbdd_bdd_init(value node
[all...]
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Dglobals_fn.c22 void gupdate(int i, int value) argument
24 garray[i] = value;
27 void update(int *array, int i, int value) argument
29 array[i] = value;
H A Dextern_dups.c35 int update(int i, int value) argument
37 array[i] = value;
/seL4-l4v-10.1.1/seL4/include/plat/pc99/plat/machine/
H A Dio.h19 void out8(uint16_t port, uint8_t value);
21 void out16(uint16_t port, uint16_t value);
23 void out32(uint16_t port, uint32_t value);
/seL4-l4v-10.1.1/HOL4/examples/pgcl/src/
H A DlooprulesScript.sml99 ``wp (While g (body:value command)) Inv = (\s. if g s then wp body (wp (While g body) Inv) s else Inv s)``,
1505 ``!(i :string) (n :string) (body :value command).
1508 (\(s :value state).
1510 (\(s :value state). (0 :int) <= int_of_value (s i)) s
1518 (\(s :value state).
1520 (\(s :value state). (0 :int) <= int_of_value (s i)) s
1529 (\(s :value state).
1531 (\(s :value state).
1533 (\(s :value state). (0 :int) <= int_of_value (s i))
1535 ((\(s :value stat
[all...]
/seL4-l4v-10.1.1/HOL4/src/portableML/mosml/concurrent/
H A DSref.sig7 val value : 'a t -> 'a (* no locks *) value
H A DSref.sml6 fun value s = !s function
H A DFuture.sig8 val value : 'a -> 'a future value
H A DFuture.sml9 fun value v = Susp.delay (fn () => v) function
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/concurrent/
H A DSref.sig7 val value : 'a t -> 'a (* no locks *) value
H A DSref.sml11 fun value {mutex,v} = !v function
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/machine/
H A Dcpu_registers.h41 static inline void xsetbv(uint32_t reg, uint64_t value) argument
43 asm volatile("xsetbv" :: "d"((uint32_t)(value >> 32)), "a"((uint32_t)(value & 0xffffffff)), "c"(reg), "m"(control_reg_order));
46 static inline void write_xcr0(uint64_t value) argument
48 xsetbv(0, value);
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/context-free/
H A DpegML.sml19 datatype ('tok,'value) pegsym =
20 empty of 'value
21 | any of 'tok -> 'value
22 | tok of 'tok * 'value
23 | nt of string * ('value -> 'value)
24 | seq of ('tok,'value) pegsym * ('tok,'value)pegsym * ('value * 'value
[all...]
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/
H A DIntmap.sml55 value: 'a,
64 fun N(k,v,E,E) = T{key=k,value=v,cnt=1,left=E,right=E}
65 | N(k,v,E,r as T n) = T{key=k,value=v,cnt=1+(#cnt n),left=E,right=r}
66 | N(k,v,l as T n,E) = T{key=k,value=v,cnt=1+(#cnt n),left=l,right=E}
68 T{key=k,value=v,cnt=1+(#cnt n)+(#cnt n'),left=l,right=r}
70 fun single_L (a,av,x,T{key=b,value=bv,left=y,right=z,...}) =
73 fun single_R (b,bv,T{key=a,value=av,left=x,right=y,...},z) =
76 fun double_L (a,av,w,T{key=c,value=cv,left=T{key=b,value=bv,left=x,right=y,...},right=z,...}) =
79 fun double_R (c,cv,T{key=a,value
[all...]
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/machine/
H A Dcpu_registers.h52 static inline void write_cr4(unsigned long value) argument
54 asm volatile("movl %0, %%cr4" :: "r"(value), "m"(control_reg_order));
/seL4-l4v-10.1.1/HOL4/tools-poly/poly/
H A DBinarymap.sml56 value : 'a,
67 fun N(k,v,E,E) = T{key=k,value=v,cnt=1,left=E,right=E}
68 | N(k,v,E,r as T n) = T{key=k,value=v,cnt=1+(#cnt n),left=E,right=r}
69 | N(k,v,l as T n,E) = T{key=k,value=v,cnt=1+(#cnt n),left=l,right=E}
71 T{key=k,value=v,cnt=1+(#cnt n)+(#cnt n'),left=l,right=r}
73 fun single_L (a,av,x,T{key=b,value=bv,left=y,right=z,...}) =
76 fun single_R (b,bv,T{key=a,value=av,left=x,right=y,...},z) =
79 fun double_L (a,av,w,T{key=c,value=cv,
80 left=T{key=b,value=bv,left=x,right=y,...},
84 fun double_R (c,cv,T{key=a,value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/
H A Dint-binary-map.sml70 value : 'a,
80 fun N(k,v,E,E) = T{key=k,value=v,cnt=1,left=E,right=E}
81 | N(k,v,E,r as T n) = T{key=k,value=v,cnt=1+(#cnt n),left=E,right=r}
82 | N(k,v,l as T n,E) = T{key=k,value=v,cnt=1+(#cnt n),left=l,right=E}
84 T{key=k,value=v,cnt=1+(#cnt n)+(#cnt n'),left=l,right=r}
86 fun single_L (a,av,x,T{key=b,value=bv,left=y,right=z,...}) =
89 fun single_R (b,bv,T{key=a,value=av,left=x,right=y,...},z) =
92 fun double_L (a,av,w,T{key=c,value=cv,left=T{key=b,value=bv,left=x,right=y,...},right=z,...}) =
95 fun double_R (c,cv,T{key=a,value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/
H A Dint-binary-map.sml70 value : 'a,
80 fun N(k,v,E,E) = T{key=k,value=v,cnt=1,left=E,right=E}
81 | N(k,v,E,r as T n) = T{key=k,value=v,cnt=1+(#cnt n),left=E,right=r}
82 | N(k,v,l as T n,E) = T{key=k,value=v,cnt=1+(#cnt n),left=l,right=E}
84 T{key=k,value=v,cnt=1+(#cnt n)+(#cnt n'),left=l,right=r}
86 fun single_L (a,av,x,T{key=b,value=bv,left=y,right=z,...}) =
89 fun single_R (b,bv,T{key=a,value=av,left=x,right=y,...},z) =
92 fun double_L (a,av,w,T{key=c,value=cv,left=T{key=b,value=bv,left=x,right=y,...},right=z,...}) =
95 fun double_R (c,cv,T{key=a,value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/util/
H A Dint-binary-map.sml70 value : 'a,
80 fun N(k,v,E,E) = T{key=k,value=v,cnt=1,left=E,right=E}
81 | N(k,v,E,r as T n) = T{key=k,value=v,cnt=1+(#cnt n),left=E,right=r}
82 | N(k,v,l as T n,E) = T{key=k,value=v,cnt=1+(#cnt n),left=l,right=E}
84 T{key=k,value=v,cnt=1+(#cnt n)+(#cnt n'),left=l,right=r}
86 fun single_L (a,av,x,T{key=b,value=bv,left=y,right=z,...}) =
89 fun single_R (b,bv,T{key=a,value=av,left=x,right=y,...},z) =
92 fun double_L (a,av,w,T{key=c,value=cv,left=T{key=b,value=bv,left=x,right=y,...},right=z,...}) =
95 fun double_R (c,cv,T{key=a,value
[all...]
/seL4-l4v-10.1.1/isabelle/src/Pure/General/
H A Dproperties.scala89 def apply(value: java.lang.String): T = List((name, value))
96 def apply(value: scala.Boolean): T = List((name, Value.Boolean(value)))
100 case Some((_, value)) => Value.Boolean.unapply(value)
106 def apply(value: scala.Int): T = List((name, Value.Int(value)))
110 case Some((_, value)) => Value.Int.unapply(value)
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/General/
H A Dproperties.scala89 def apply(value: java.lang.String): T = List((name, value))
96 def apply(value: scala.Boolean): T = List((name, Value.Boolean(value)))
100 case Some((_, value)) => Value.Boolean.unapply(value)
106 def apply(value: scala.Int): T = List((name, Value.Int(value)))
110 case Some((_, value)) => Value.Int.unapply(value)
[all...]
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dfunctions.h36 : [value] "r" (val), /* inputs */\
56 : [value] "r" (val), /* inputs */\

Completed in 167 milliseconds

1234567891011>>