> > It cannot call mutate_to_vhe because #HVC_VHE_RESTART is not used > > here. But, if it had to it would not work as we cannot return to the > > old kernel text after relocation. > > OK, so you are happy with having a dangling branch pointing to > nowhere? Something in me screams that it isn't a good idea, in > general. > > If HVC_SOFT_RESTART is all you need, I'd rather you have a small stub > that implements exactly that and nothing else. Feel free to extract it > as a reusable macro if you want. Sure, I will add in the next revision. Thanks, Pasha
