Searched refs:dist_ctlr_read (Results 1 – 1 of 1) sorted by relevance
203 static register_read dist_ctlr_read; variable250 VGIC_REGISTER(GICD_CTLR, 4, VGIC_32_BIT, dist_ctlr_read,993 dist_ctlr_read(struct hypctx *hypctx, u_int reg, uint64_t *rval, in dist_ctlr_read() function