so we can use device/driver for the timer

Signed-off-by: Jean-Christophe PLAGNIOL-VILLARD <plagn...@jcrosoft.com>
---
 common/efi/efi.c | 15 +++++++++++----
 1 file changed, 11 insertions(+), 4 deletions(-)

diff --git a/common/efi/efi.c b/common/efi/efi.c
index 217a6bea8..1c7aee872 100644
--- a/common/efi/efi.c
+++ b/common/efi/efi.c
@@ -314,7 +314,6 @@ efi_status_t efi_main(efi_handle_t image, 
efi_system_table_t *sys_table)
        efi_physical_addr_t mem;
        size_t memsize;
        efi_status_t efiret;
-       char *uuid;
 
 #ifdef DEBUG
        sys_table->con_out->output_string(sys_table->con_out, L"barebox\n");
@@ -350,6 +349,15 @@ efi_status_t efi_main(efi_handle_t image, 
efi_system_table_t *sys_table)
        mem_malloc_init((void *)mem, (void *)mem + memsize);
 
        efi_clocksource_init();
+       start_barebox();
+
+       return EFI_SUCCESS;
+}
+
+static int efi_postcore_init(void)
+{
+       char *uuid;
+
        efi_set_variable_usec("LoaderTimeInitUSec", &efi_systemd_vendor_guid,
                              get_time_ns()/1000);
 
@@ -366,10 +374,9 @@ efi_status_t efi_main(efi_handle_t image, 
efi_system_table_t *sys_table)
                free(uuid16);
        }
 
-       start_barebox();
-
-       return EFI_SUCCESS;
+       return 0;
 }
+postcore_initcall(efi_postcore_init);
 
 static int do_efiexit(int argc, char *argv[])
 {
-- 
2.11.0


_______________________________________________
barebox mailing list
barebox@lists.infradead.org
http://lists.infradead.org/mailman/listinfo/barebox

Reply via email to