Remove the space character between "PCI" and the colon. This was printed before the patch: PCI : PCI BIOS area is rw and x. Use pci=nobios if you want it NX. Whereas other PCI printks are like that: $ dmesg | grep 'PCI:' [ 0.649178] PCI: MMCONFIG for domain 0000 [bus 00-7f] at [mem 0xf0000000-0xf7ffffff] (base 0xf0000000) [ 0.649180] PCI: MMCONFIG at [mem 0xf0000000-0xf7ffffff] reserved in E820 [ 0.649186] PCI: Using configuration type 1 for base access [ 0.676407] PCI: Using host bridge windows from ACPI; if necessary, use "pci=nocrs" and report a bug [ 0.784009] PCI: Using ACPI for IRQ routing [ 0.795599] PCI: pci_cache_line_size set to 64 bytes [ 0.811154] PCI: CLS 0 bytes, default 64 Signed-off-by: Vincent Legoll <vincent.legoll@xxxxxxxxx> --- arch/x86/pci/pcbios.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/arch/x86/pci/pcbios.c b/arch/x86/pci/pcbios.c index c1bdb9e..7659540 100644 --- a/arch/x86/pci/pcbios.c +++ b/arch/x86/pci/pcbios.c @@ -46,7 +46,7 @@ static inline void set_bios_x(void) pcibios_enabled = 1; set_memory_x(PAGE_OFFSET + BIOS_BEGIN, (BIOS_END - BIOS_BEGIN) >> PAGE_SHIFT); if (__supported_pte_mask & _PAGE_NX) - printk(KERN_INFO "PCI : PCI BIOS area is rw and x. Use pci=nobios if you want it NX.\n"); + printk(KERN_INFO "PCI: PCI BIOS area is rw and x. Use pci=nobios if you want it NX.\n"); } /* -- 2.7.4
