119 PE_cpu_signal(cpu_id_t source, cpu_id_t target)  in PE_cpu_signal()  argument
121 	IOCPU *sourceCPU = (IOCPU *)source;  in PE_cpu_signal()
128 PE_cpu_signal_deferred(cpu_id_t source, cpu_id_t target)  in PE_cpu_signal_deferred()  argument
130 	IOCPU *sourceCPU = (IOCPU *)source;  in PE_cpu_signal_deferred()
137 PE_cpu_signal_cancel(cpu_id_t source, cpu_id_t target)  in PE_cpu_signal_cancel()  argument
139 	IOCPU *sourceCPU = (IOCPU *)source;  in PE_cpu_signal_cancel()
700     int source,  in registerInterrupt()  argument
710 	if (source >= numSources) {  in registerInterrupt()
714 	vector = &vectors[source];  in registerInterrupt()
728 	vector->source  = source;  in registerInterrupt()
792     int source)  in handleInterrupt()  argument
796 	vector = &vectors[source];  in handleInterrupt()
803 	    vector->nub, vector->source);  in handleInterrupt()