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

/netgear-WNDR4500v2-V1.0.0.60_1.0.38/src/linux/linux-2.6/arch/um/os-Linux/
H A Dtt.c112 void forward_ipi(int fd, int pid) function
118 printk("forward_ipi: set_owner failed, fd = %d, me = %d, "
/netgear-WNDR4500v2-V1.0.0.60_1.0.38/src/linux/linux-2.6/arch/um/include/
H A Dos.h224 extern void forward_ipi(int fd, int pid);
/netgear-WNDR4500v2-V1.0.0.60_1.0.38/src/linux/linux-2.6/arch/um/kernel/tt/
H A Dprocess_kern.c41 forward_ipi(cpu_data[cpu].ipi_pipe[0], to->thread.mode.tt.extern_pid);

Completed in 189 milliseconds