Searched refs:spi (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-master/isabelle/src/Pure/System/
H A Disabelle_charset.scala13 import java.nio.charset.spi.CharsetProvider
/seL4-l4v-master/l4v/isabelle/src/Pure/System/
H A Disabelle_charset.scala13 import java.nio.charset.spi.CharsetProvider
/seL4-l4v-master/l4v/spec/haskell/include/
H A Dgic.h32 uint32_t spi[32]; /* [0xD00, 0xD80) */ member in struct:gic_dist_map_t
/seL4-l4v-master/HOL4/examples/HolCheck/
H A DbddTools.sml139 val spi = List.map getIntForVar (List.map (fn v => v^"'") sv) value
141 val sp2s = bdd.makepairSet (ListPair.zip(List.foldl (fn (h,t) => h::t) [] (spi),
154 val spi = List.map getIntForVar (List.map (fn v => v^"'") sv) value
155 val sp = bdd.makeset spi
157 List.foldl (fn (h,t) => h::t) [] (spi)))
/seL4-l4v-master/seL4/include/arch/arm/arch/machine/
H A Dgic_v2.h71 uint32_t spi[32]; /* [0xD00, 0xD80) */ member in struct:gic_dist_map

Completed in 171 milliseconds