Searched refs:redist_ctlr_read (Results 1 – 1 of 1) sorted by relevance
328 static register_read redist_ctlr_read; variable344 VGIC_REGISTER(GICR_CTLR, 4, VGIC_32_BIT, redist_ctlr_read,1448 redist_ctlr_read(struct hypctx *hypctx, u_int reg, uint64_t *rval, void *arg) in redist_ctlr_read() function