Searched refs:set_cpei_target_cpu (Results 1 - 3 of 3) sorted by relevance

/netgear-WNDR4500v2-V1.0.0.60_1.0.38/src/linux/linux-2.6/include/asm-ia64/
H A Dacpi.h109 extern void set_cpei_target_cpu(unsigned int cpu);
/netgear-WNDR4500v2-V1.0.0.60_1.0.38/src/linux/linux-2.6/arch/ia64/kernel/
H A Dacpi.c308 void set_cpei_target_cpu(unsigned int cpu) function
H A Dsmpboot.c694 set_cpei_target_cpu(new_cpei_cpu);

Completed in 67 milliseconds