This paper gives a partial desingularization construction for hyperkahler quotients and a criterion for the surjectivity of an analogue of the Kirwan map to the cohomology of hyperkahler quotients. This criterion is applied to some linear actions on hyperkahler vector spaces.