Searched refs:register_read (Results 1 – 1 of 1) sorted by relevance
158 typedef void (register_read)(struct hypctx *, u_int, uint64_t *, void *); typedef172 register_read *read;199 static register_read gic_pidr2_read;200 static register_read gic_zero_read;204 static register_read dist_ctlr_read;207 static register_read dist_typer_read;209 static register_read dist_iidr_read;217 static register_read dist_isenabler_read;220 static register_read dist_icenabler_read;223 static register_read dist_ispendr_read;[all …]