12 Sep
2014
12 Sep
'14
7:41 a.m.
On 11 September 2014 21:17, Nicolas Pitre nicolas.pitre@linaro.org wrote:
Any other opinions before Vince goes and applies sed on patches? ;-)
I don't mind either way, but for sure someone (possibly me) is going to confuse the two soon enough.
Please include in the code some formal definition in the context of the scheduler. A comment block right before the corresponding get_cpu_* accessors should be good enough.
ok
Nicolas