vgic_register_read
if (vgic_register_read(hypctx, dist_registers, nitems(dist_registers),
if (vgic_register_read(target_hypctx, redist_rd_registers,
if (vgic_register_read(target_hypctx, redist_sgi_registers,