1// SPDX-License-Identifier: GPL-2.0-only
2/*
3 * Copyright (C) 2014 NVIDIA CORPORATION.  All rights reserved.
4 */
5
6#include <linux/of.h>
7
8#include <soc/tegra/common.h>
9
10static const struct of_device_id tegra_machine_match[] = {
11	{ .compatible = "nvidia,tegra20", },
12	{ .compatible = "nvidia,tegra30", },
13	{ .compatible = "nvidia,tegra114", },
14	{ .compatible = "nvidia,tegra124", },
15	{ .compatible = "nvidia,tegra132", },
16	{ .compatible = "nvidia,tegra210", },
17	{ }
18};
19
20bool soc_is_tegra(void)
21{
22	const struct of_device_id *match;
23	struct device_node *root;
24
25	root = of_find_node_by_path("/");
26	if (!root)
27		return false;
28
29	match = of_match_node(tegra_machine_match, root);
30	of_node_put(root);
31
32	return match != NULL;
33}
34