Searched refs:hard_smp4d_processor_id (Results 1 – 2 of 2) sorted by relevance
52 int cpuid = hard_smp4d_processor_id(); in smp4d_callin()355 int i = hard_smp4d_processor_id(); in smp4d_cross_call_irq()366 int cpu = hard_smp4d_processor_id(); in smp4d_percpu_timer_interrupt()398 int cpu = hard_smp4d_processor_id(); in smp_setup_percpu_timer()
102 static inline int hard_smp4d_processor_id(void) in hard_smp4d_processor_id() function