Symbol: get_current_cpu_id