Searched refs:tegra_platform_is_fpga (Results 1 – 7 of 7) sorted by relevance
179 if (tegra_platform_is_silicon() || tegra_platform_is_fpga()) { in mce_enable_strict_checking()223 bool is_fpga = tegra_platform_is_fpga(); in mce_verify_strict_checking()
64 bool tegra_platform_is_fpga(void);
203 if (tegra_platform_is_fpga()) { in plat_enable_console()293 if (tegra_platform_is_silicon() || tegra_platform_is_fpga()) { in plat_early_platform_setup()
150 if (tegra_platform_is_silicon() || tegra_platform_is_fpga()) { in tegra_soc_pwr_domain_suspend()417 if (tegra_platform_is_silicon() || tegra_platform_is_fpga()) { in tegra_soc_pwr_domain_on_finish()
246 bool tegra_platform_is_fpga(void) in tegra_platform_is_fpga() function
129 if (tegra_platform_is_fpga()) { in plat_enable_console()
168 if (tegra_platform_is_fpga()) { in plat_enable_console()
Completed in 13 milliseconds