Lines Matching +full:inter +full:- +full:processor

8  * Copyright (C) 2008 - 2013 Tensilica Inc.
53 /* IPI (Inter Process Interrupt) */
117 static int boot_secondary_processors = 1; /* Set with xt-gdb via .xt-gdb */
146 	current->active_mm = mm;  in secondary_start_kernel()
174 	pr_debug("%s: cpu: %d, run_stall_mask: %lx ---> %lx\n",  in mx_cpu_start()
184 	pr_debug("%s: cpu: %d, run_stall_mask: %lx ---> %lx\n",  in mx_cpu_stop()
228 			return -EIO;  in boot_secondary()
253 			ret = -EIO;  in __cpu_up()
265  * __cpu_disable runs on the processor to be shutdown.
284 	 * OK - migrate IRQs away from this CPU  in __cpu_disable()
307  * called on the thread which is asking for a CPU to be shutdown -
318 		if (READ_ONCE(cpu_start_id) == -cpu) {  in __cpu_die()
333  * Note that we disable IRQs here, but do not re-enable them
335  * of the other hotplug-cpu capable cores, so presumably coming
430 			++ipi->ipi_count[IPI_CALL_FUNC];  in ipi_interrupt()
435 			++ipi->ipi_count[IPI_RESCHEDULE];  in ipi_interrupt()
440 			++ipi->ipi_count[IPI_CPU_STOP];  in ipi_interrupt()
499 	local_flush_tlb_page(fd->vma, fd->addr1);  in ipi_flush_tlb_page()
514 	local_flush_tlb_range(fd->vma, fd->addr1, fd->addr2);  in ipi_flush_tlb_range()
531 	local_flush_tlb_kernel_range(fd->addr1, fd->addr2);  in ipi_flush_tlb_kernel_range()
558 	local_flush_cache_page(fd->vma, fd->addr1, fd->addr2);  in ipi_flush_cache_page()
575 	local_flush_cache_range(fd->vma, fd->addr1, fd->addr2);  in ipi_flush_cache_range()
592 	local_flush_icache_range(fd->addr1, fd->addr2);  in ipi_flush_icache_range()
605 /* ------------------------------------------------------------------------- */
610 	__invalidate_dcache_range(fd->addr1, fd->addr2);  in ipi_invalidate_dcache_range()
626 	__flush_invalidate_dcache_range(fd->addr1, fd->addr2);  in ipi_flush_invalidate_dcache_range()