Searched refs:tegra_platform_is_fpga (Results 1 – 8 of 8) 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()
65 bool tegra_platform_is_fpga(void);
104 if (tegra_platform_is_fpga()) { in plat_enable_console()
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()
253 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()