1.1 --- a/xen/drivers/acpi/reboot.c	Tue Jan 27 16:02:21 2009 +0000
     1.2 +++ b/xen/drivers/acpi/reboot.c	Tue Jan 27 16:41:09 2009 +0000
     1.3 @@ -21,7 +21,7 @@ void acpi_reboot(void)
     1.4  	 * on a device on bus 0. */
     1.5  	switch (rr->space_id) {
     1.6  	case ACPI_ADR_SPACE_PCI_CONFIG:
     1.7 -		printk("Resetting with ACPI PCI RESET_REG.");
     1.8 +		printk("Resetting with ACPI PCI RESET_REG.\n");
     1.9  		/* Write the value that resets us. */
    1.10  		pci_conf_write8(0,
    1.11  				(rr->address >> 32) & 31,
    1.12 @@ -31,7 +31,7 @@ void acpi_reboot(void)
    1.13  		break;
    1.14  	case ACPI_ADR_SPACE_SYSTEM_MEMORY:
    1.15  	case ACPI_ADR_SPACE_SYSTEM_IO:
    1.16 -		printk("ACPI MEMORY or I/O RESET_REG.");
    1.17 +		printk("Resetting with ACPI MEMORY or I/O RESET_REG.\n");
    1.18  		acpi_hw_low_level_write(8, reset_value, rr);
    1.19  		break;
    1.20  	}