/* @handle: handle of the loaded image @systable: system table Return: EFI_ST_SUCCESS for success  */
static int setup(const efi_handle_t handle, const struct efi_system_table *systable)
/* @handle: handle of the loaded image @systable: system table Return: EFI_ST_SUCCESS for success  */
static int setup(const efi_handle_t handle, const struct efi_system_table *systable)
{
	size_t i;
	boottime = systable->boottime;
	for (i = 0; i < systable->nr_tables; ++i) {
		if (!memcmp(&systable->tables[i].guid, &fdt_guid,
			    sizeof(efi_guid_t))) {
			if (fdt_addr) {
				efi_st_error("Duplicate device tree\n");
				return EFI_ST_FAILURE;
			}
			fdt_addr = (uintptr_t)systable->tables[i].table;
		}
	}
	return EFI_ST_SUCCESS;
}