Searched refs:dist_typer_read (Results 1 – 1 of 1) sorted by relevance
206 static register_read dist_typer_read; variable252 VGIC_REGISTER(GICD_TYPER, 4, VGIC_32_BIT, dist_typer_read,1040 dist_typer_read(struct hypctx *hypctx, u_int reg, uint64_t *rval, in dist_typer_read() function