[coreboot-gerrit] Patch merged into coreboot/master: db23215 device/device.c: Improve output in `init_dev()`

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit db23215039894cf7668cba21c94753a9fcc546a0
Author: Paul Menzel <paulepanter at users.sourceforge.net>
Date:   Sun Jun 7 20:28:17 2015 +0200

    device/device.c: Improve output in `init_dev()`
    
    Since commit 05294292 (device tree: track init times) there are two
    lines printed for each init() call of a device, when
    `HAVE_MONOTONIC_TIMER` is selected.
    
    	[…]
    	CPU_CLUSTER: 0 init 12708 usecs
    	DOMAIN: 0000 init
    	DOMAIN: 0000 init 1 usecs
    	PCI: 00:00.0 init
    	Northbridge init
    	PCI: 00:00.0 init 2 usecs
    	PCI: 00:01.0 init
    	PCI: 00:01.0 init 1 usecs
    	PCI: 00:01.1 init
    	PCI: 00:01.1 init 1 usecs
    	PCI: 00:11.0 init
    	PCI: 00:11.0 init 1 usecs
    	PCI: 00:14.0 init
    	PCI: 00:14.0 init 1 usecs
    	PCI: 00:14.3 init
    	SB800 - Late.c - lpc_init - Start.
    	RTC Init
    	RTC: coreboot checksum invalid
    	SB800 - Late.c - lpc_init - End.
    	[…]
    
    Improve the output by changing the wording to.
    
    	%s init ...\n
    	init()
    	%s init finished in %ld usecs\n
    
    Note, that `%s init ... done in %ld usecs` is not possible as the
    function `init()` can also print messages.
    
    Change-Id: I7132cd650911dba680f060d6073a5a09c879b24c
    Signed-off-by: Paul Menzel <paulepanter at users.sourceforge.net>
    Reviewed-on: http://review.coreboot.org/10455
    Tested-by: build bot (Jenkins)
    Reviewed-by: Aaron Durbin <adurbin at chromium.org>


See http://review.coreboot.org/10455 for details.

-gerrit