Searched defs:s4 (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-master/l4v/tools/autocorres/tests/proof-tests/
H A Dnested_struct.c44 struct s4 { struct
/seL4-l4v-master/HOL4/src/finite_maps/
H A DsptreeSyntax.sml72 val s4 = HolKernel.syntax_fns4 "sptree" value
/seL4-l4v-master/seL4/libsel4/arch_include/riscv/sel4/arch/
H A Dtypes.h38 seL4_Word s4; member in struct:seL4_UserContext_
/seL4-l4v-master/HOL4/examples/dev/sw2/
H A Drefine.sml79 val s4 = substring(s,24,8) value
/seL4-l4v-master/HOL4/src/portableML/poly/
H A DSHA1_ML.sml23 val s4 = Word64.>>(Word64.<<(size, 0w32), 0w56) value
/seL4-l4v-master/seL4/include/arch/riscv/arch/machine/
H A Dregisterset.h50 s4 = 19, enumerator in enum:_register

Completed in 97 milliseconds