Symbol: haiku_smp_get_current_cpu