Is there an official Neutrino API to obtain an identifier for the currently executing CPU core? Obviously it should be 
something that does not involve a kernel call and which can be called when interrupts are disabled...
The "RUNCPU()" macro from "smp_switch.h" would be really perfect. Unfortunately it's only available in kernel land...

Regards,
Thorsten