Searched defs:spi (Results 1 - 3 of 3) sorted by relevance

/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
154 val spi = List.map getIntForVar (List.map (fn v => v^"'") sv) value
/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 52 milliseconds