Aleix Roca Nonell
b25d378960
smp_processor_id() was called in a preepmtible context, which could invalidate the returned value. However, this was not harmful, because fcs threads in nosv are pinned. Reviewed-by: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>