How to get current core id in kernel source

Hello,

I wish to get the current core id in which the code is being processed,
in device driver code.
What function or global variable can I use ?

I think smp_processor_id is the function you are looking for ([1]).

thanks,
Daniel.

[1] http://lxr.linux.no/linux+v3.0/include/linux/smp.h#L170