// SPDX-License-Identifier: GPL-2.0-only/* * Copyright (c) 2012, NVIDIA CORPORATION.  All rights reserved. */ #include <linux/acpi.h>#include <linux/init.h>#include <linux/of.h>#include <linux/clocksource.h> extern struct of_device_id __timer_of_table[]; static const struct of_device_id __timer_of_table_sentinel	__used __section("__timer_of_table_end"); void __init timer_probe(void){	struct device_node *np;	const struct of_device_id *match;	of_init_fn_1_ret init_func_ret;	unsigned timers = 0;	int ret; 	for_each_matching_node_and_match(np, __timer_of_table, &match) {		if (!of_device_is_available(np))			continue; 		init_func_ret = match->data; 		ret = init_func_ret(np);		if (ret) {			if (ret != -EPROBE_DEFER)				pr_err("Failed to initialize '%pOF': %d\n", np,				       ret);			continue;		} 		timers++;	} 	timers += acpi_probe_device_table(timer); 	if (!timers)		pr_crit("%s: no matching timers found\n", __func__);}