> Ouch! Nice work hunting this down. > > I think there is an unregister vpa hcall, for a clean kexec boot perhaps > we could have a shutdown method that calls this. I had a look at the register vpa hcall and it can take a flag to deregister the vpa: flags = 101 - deregister virtual processor area Anton