Lines Matching defs:KERNEL_PRINT
47 * The "KERNEL_PRINT" could be made a null macro with no danger, of
53 #define KERNEL_PRINT(x) /* some kind of print function */
66 #define KERNEL_PRINT(x) printf x
353 KERNEL_PRINT (("\n"));
370 KERNEL_PRINT ((" Processor [APIC id %d ver %d]: ",
374 KERNEL_PRINT (("DISABLED\n"));
383 KERNEL_PRINT (("#0 Bootstrap Processor (BSP)\n"));
405 KERNEL_PRINT ((" Bus id %d is %s\n", bus->id, str));
414 KERNEL_PRINT ((" I/O APIC id %d ver %d, address: 0x%x ",
418 KERNEL_PRINT (("DISABLED\n"));
421 KERNEL_PRINT (("\n"));
471 KERNEL_PRINT ((" Invalid MP System Configuration type %d\n",
482 KERNEL_PRINT
489 KERNEL_PRINT ((" Bad MP Config Table sub-revision # %d\n", local_cth_ptr->spec_rev));
500 KERNEL_PRINT
508 KERNEL_PRINT ((" Missing configuration information\n"));
525 KERNEL_PRINT (("Intel MultiProcessor Spec 1.%d BIOS support detected\n",
535 KERNEL_PRINT ((" Disabling MPS support\n"));
555 KERNEL_PRINT
577 KERNEL_PRINT ((" OEM id: %s Product id: %s\n", str1, str2));