KERNEL_PRINT
KERNEL_PRINT (("\n"));
KERNEL_PRINT ((" Processor [APIC id %d ver %d]: ",
KERNEL_PRINT (("DISABLED\n"));
KERNEL_PRINT (("#0 Bootstrap Processor (BSP)\n"));
KERNEL_PRINT ((" Bus id %d is %s\n", bus->id, str));
KERNEL_PRINT ((" I/O APIC id %d ver %d, address: 0x%x ",
KERNEL_PRINT (("DISABLED\n"));
KERNEL_PRINT (("\n"));
KERNEL_PRINT ((" Invalid MP System Configuration type %d\n",
KERNEL_PRINT
KERNEL_PRINT ((" Bad MP Config Table sub-revision # %d\n", local_cth_ptr->spec_rev));
KERNEL_PRINT
KERNEL_PRINT ((" Missing configuration information\n"));
KERNEL_PRINT (("Intel MultiProcessor Spec 1.%d BIOS support detected\n",
KERNEL_PRINT ((" Disabling MPS support\n"));
KERNEL_PRINT
KERNEL_PRINT ((" OEM id: %s Product id: %s\n", str1, str2));
#define IMPS_DEBUG_PRINT(x) KERNEL_PRINT(x)