kernel linking

[Attilio Rao]

Krassimir Slavchev wrote:
> Attilio Rao wrote:
> OK, but in src/sys/arm/include/pcpu.h we have:
> 
> #define     PCPU_INC(member)        PCPU_LAZY_ADD(member, 1)
> 
> which should be:
> 
> #define PCPU_INC(member)        PCPU_ADD(member, 1)

Argh, you are right.
I'm going to commit a fix including other nits.

Thanks,
Attilio