Home | History | Annotate | Download | only in x86

Lines Matching refs:ci_dev

154 	.ci_dev = 0,
161 	.ci_dev = 0,
231 	ci->ci_dev = self;
355 	aprint_debug_dev(ci->ci_dev, "%d page colors\n", ncolors);
394 	ci->ci_dev = self;
502 		aprint_error_dev(ci->ci_dev, "not started\n");
649 	aprint_debug_dev(ci->ci_dev, "starting\n");
664 		aprint_error_dev(ci->ci_dev, "failed to become ready\n");
683 		aprint_error_dev(ci->ci_dev, "CPU failed to start\n");
749 	aprint_debug_dev(ci->ci_dev, "running\n");
774 		    ci->ci_dev == NULL ? "BOOT" : device_xname(ci->ci_dev),
1057 		aprint_debug_dev(ci->ci_dev, "is started.\n");
1059 		aprint_error_dev(ci->ci_dev, "did not start up.\n");