|
@@ -251,7 +251,6 @@ default_idle (void)
|
|
/* We don't actually take CPU down, just spin without interrupts. */
|
|
/* We don't actually take CPU down, just spin without interrupts. */
|
|
static inline void play_dead(void)
|
|
static inline void play_dead(void)
|
|
{
|
|
{
|
|
- extern void ia64_cpu_local_tick (void);
|
|
|
|
unsigned int this_cpu = smp_processor_id();
|
|
unsigned int this_cpu = smp_processor_id();
|
|
|
|
|
|
/* Ack it */
|
|
/* Ack it */
|