From 3cb912c1d0caa97cb8ad8e147a307ca270c8d5af Mon Sep 17 00:00:00 2001 From: Anthony Pesch Date: Sun, 8 Oct 2017 14:13:48 -0400 Subject: [PATCH] added time setting to bios_override_settings debug print --- src/guest/bios/bios.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/guest/bios/bios.c b/src/guest/bios/bios.c index 6efd0832..526283f8 100644 --- a/src/guest/bios/bios.c +++ b/src/guest/bios/bios.c @@ -89,8 +89,8 @@ static void bios_override_settings(struct bios *bios) { } } - LOG_INFO("bios_override_settings region=%s lang=%s bcast=%s", regions[region], - languages[lang], broadcasts[bcast]); + LOG_INFO("bios_override_settings region=%s lang=%s bcast=%s time=0x%08x", + regions[region], languages[lang], broadcasts[bcast], time); /* the region, language and broadcast settings exist in two locations: