| Varun Wadekar | 28dcc21 | 2016-07-20 10:28:51 -0700 | [diff] [blame] | 1 | /* |
| Antonio Nino Diaz | 4b32e62 | 2018-08-16 16:52:57 +0100 | [diff] [blame] | 2 | * Copyright (c) 2017-2018, ARM Limited and Contributors. All rights reserved. |
| Varun Wadekar | 28dcc21 | 2016-07-20 10:28:51 -0700 | [diff] [blame] | 3 | * |
| dp-arm | fa3cf0b | 2017-05-03 09:38:09 +0100 | [diff] [blame] | 4 | * SPDX-License-Identifier: BSD-3-Clause |
| Varun Wadekar | 28dcc21 | 2016-07-20 10:28:51 -0700 | [diff] [blame] | 5 | */ |
| 6 | |
| Antonio Nino Diaz | 5eb8837 | 2018-11-08 10:20:19 +0000 | [diff] [blame] | 7 | #ifndef TEGRA_PLATFORM_H |
| 8 | #define TEGRA_PLATFORM_H |
| Varun Wadekar | 28dcc21 | 2016-07-20 10:28:51 -0700 | [diff] [blame] | 9 | |
| Antonio Nino Diaz | 4b32e62 | 2018-08-16 16:52:57 +0100 | [diff] [blame] | 10 | #include <cdefs.h> |
| Varun Wadekar | 28dcc21 | 2016-07-20 10:28:51 -0700 | [diff] [blame] | 11 | |
| 12 | /* |
| Varun Wadekar | fc9b91e | 2017-03-10 09:53:37 -0800 | [diff] [blame] | 13 | * Tegra chip major/minor version |
| 14 | */ |
| 15 | uint32_t tegra_get_chipid_major(void); |
| 16 | uint32_t tegra_get_chipid_minor(void); |
| 17 | |
| 18 | /* |
| Varun Wadekar | 28dcc21 | 2016-07-20 10:28:51 -0700 | [diff] [blame] | 19 | * Tegra chip identifiers |
| 20 | */ |
| Varun Wadekar | fdcdfe2 | 2017-04-13 14:12:49 -0700 | [diff] [blame] | 21 | uint8_t tegra_chipid_is_t132(void); |
| 22 | uint8_t tegra_chipid_is_t210(void); |
| 23 | uint8_t tegra_chipid_is_t186(void); |
| 24 | |
| Varun Wadekar | 28dcc21 | 2016-07-20 10:28:51 -0700 | [diff] [blame] | 25 | |
| 26 | /* |
| 27 | * Tegra platform identifiers |
| 28 | */ |
| 29 | uint8_t tegra_platform_is_silicon(void); |
| 30 | uint8_t tegra_platform_is_qt(void); |
| 31 | uint8_t tegra_platform_is_emulation(void); |
| 32 | uint8_t tegra_platform_is_fpga(void); |
| 33 | |
| Antonio Nino Diaz | 5eb8837 | 2018-11-08 10:20:19 +0000 | [diff] [blame] | 34 | #endif /* TEGRA_PLATFORM_H */ |