/seL4-l4v-10.1.1/HOL4/src/portableML/ |
H A D | PEGParse.sig | 4 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 D | PEGParse.sml | 4 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 D | AList.sml | 4 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 D | muddy.c | 37 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 D | globals_fn.c | 22 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 D | extern_dups.c | 35 int update(int i, int value) argument 37 array[i] = value;
|
/seL4-l4v-10.1.1/seL4/include/plat/pc99/plat/machine/ |
H A D | io.h | 19 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 D | looprulesScript.sml | 99 ``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 D | Sref.sig | 7 val value : 'a t -> 'a (* no locks *) value
|
H A D | Sref.sml | 6 fun value s = !s function
|
H A D | Future.sig | 8 val value : 'a -> 'a future value
|
H A D | Future.sml | 9 fun value v = Susp.delay (fn () => v) function
|
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/concurrent/ |
H A D | Sref.sig | 7 val value : 'a t -> 'a (* no locks *) value
|
H A D | Sref.sml | 11 fun value {mutex,v} = !v function
|
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/machine/ |
H A D | cpu_registers.h | 41 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 D | pegML.sml | 19 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 D | Intmap.sml | 55 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 D | cpu_registers.h | 52 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 D | Binarymap.sml | 56 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 D | int-binary-map.sml | 70 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 D | int-binary-map.sml | 70 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 D | int-binary-map.sml | 70 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 D | properties.scala | 89 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 D | properties.scala | 89 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 D | functions.h | 36 : [value] "r" (val), /* inputs */\ 56 : [value] "r" (val), /* inputs */\
|