Re: How to get current core id in kernel source