On Thu, Jun 06, 2019 at 08:22:04AM +0530, Viresh Kumar wrote: > Hmm, even if the values are same currently I am not sure if we want > the same for ever. I will write a patch for it though, if Peter/Rafael > feel the same as you.
Is it really the same variable or just two numbers that happen to be the same?