Well, it is flawed only in the case of va->translate->read_pa. If you are in partial init and the only thing you can do is read_pa, than this is fine (like in win-guid).