arm64: Print DT machine model in setup_machine_fdt()
authorGeert Uytterhoeven <geert+renesas@glider.be>
Thu, 27 Apr 2017 12:33:05 +0000 (14:33 +0200)
committerCatalin Marinas <catalin.marinas@arm.com>
Fri, 28 Apr 2017 16:09:41 +0000 (17:09 +0100)
commit2f9a0bec659700554744338bf780841f641cec40
treeebe59a6d5380a81c3d8175c1550662444b71cfe2
parentf5337346cd8fe1b105f319b4b7fb06fe25c54480
arm64: Print DT machine model in setup_machine_fdt()

On arm32, the machine model specified in the device tree is printed
during boot-up, courtesy of of_flat_dt_match_machine().

On arm64, of_flat_dt_match_machine() is not called, and the machine
model information is not available from the kernel log.

Print the machine model to make it easier to derive the machine model
from an arbitrary kernel boot log.

Acked-by: Will Deacon <will.deacon@arm.com>
Signed-off-by: Geert Uytterhoeven <geert+renesas@glider.be>
Signed-off-by: Catalin Marinas <catalin.marinas@arm.com>
arch/arm64/kernel/setup.c