Searched refs:register_write (Results 1 – 1 of 1) sorted by relevance
159 typedef void (register_write)(struct hypctx *, u_int, u_int, u_int, typedef173 register_write *write;201 static register_write gic_ignore_write;205 static register_write dist_ctlr_write;212 static register_write dist_setclrspi_nsr_write;218 static register_write dist_isenabler_write;221 static register_write dist_icenabler_write;224 static register_write dist_ispendr_write;227 static register_write dist_icpendr_write;230 static register_write dist_isactiver_write;[all …]