Searched refs:res8 (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/l4v/spec/haskell/include/
H A Dgic.h39 uint32_t res8[70]; /* [0xDE8, 0xF00) */ member in struct:gic_dist_map_t
/seL4-l4v-master/HOL4/src/opentheory/compat/
H A DHOL4boolScript.sml50 val res8 = export(``!t1 t2. (t1 ==> t2) ==> (t2 ==> t1) ==> (t1 <=> t2)``, value
59 res8
61 |> C MP (DISCH_ALL(SYM(UNDISCH(MATCH_MP res8 (SPEC_ALL res0)))))
283 val res8' = CONV_RULE(STRIP_QUANT_CONV(REWR_CONV th17))res8
287 match_mp_tac res8' >>
288 reverse conj_tac >- MATCH_ACCEPT_TAC res8' >>
309 match_mp_tac res8' >>
315 match_mp_tac res8' >>
/seL4-l4v-master/seL4/include/arch/arm/arch/machine/
H A Dgic_v3.h111 uint32_t res8[3]; /* [0xF04, 0xF10) */ member in struct:gic_dist_map
158 uint32_t res8[504]; /* 0x0420 */ member in struct:gic_rdist_sgi_ppi_map
H A Dgic_v2.h78 uint32_t res8[70]; /* [0xDE8, 0xF00) */ member in struct:gic_dist_map

Completed in 86 milliseconds