oci               808 arch/i386/isa/npx.c 	struct cpu_info *oci;
oci               812 arch/i386/isa/npx.c 	oci = p->p_addr->u_pcb.pcb_fpcpu;
oci               813 arch/i386/isa/npx.c 	if (oci == NULL)
oci               820 arch/i386/isa/npx.c 	if (oci == ci) {
oci               830 arch/i386/isa/npx.c 		    oci->ci_dev.dv_xname, save ? "save" : "flush", (u_long)p));
oci               832 arch/i386/isa/npx.c 		i386_send_ipi(oci,
oci               843 arch/i386/isa/npx.c 				    ci->ci_dev.dv_xname, oci->ci_dev.dv_xname);