Correct SPL uses of TEN64_CONTROLLER

This converts 2 usages of this option to the non-SPL form, since there is
no SPL_TEN64_CONTROLLER defined in Kconfig

Signed-off-by: Simon Glass <sjg@chromium.org>
This commit is contained in:
Simon Glass 2023-02-05 17:55:21 -07:00 committed by Tom Rini
parent d84855fe82
commit 1677705c93

View file

@ -97,7 +97,7 @@ int checkboard(void)
printf("Unknown boot source %d\n", src); printf("Unknown boot source %d\n", src);
puts("Controller: "); puts("Controller: ");
if (CONFIG_IS_ENABLED(TEN64_CONTROLLER)) { if (IS_ENABLED(CONFIG_TEN64_CONTROLLER)) {
/* Driver not compatible with alpha/beta board MCU firmware */ /* Driver not compatible with alpha/beta board MCU firmware */
if (board_rev <= TEN64_BOARD_REV_C) { if (board_rev <= TEN64_BOARD_REV_C) {
if (ten64_read_board_info(&boardinfo)) { if (ten64_read_board_info(&boardinfo)) {
@ -375,7 +375,7 @@ static void ten64_board_retimer_ds110df410_init(void)
/* Retimer power cycle not implemented on early board /* Retimer power cycle not implemented on early board
* revisions/controller firmwares * revisions/controller firmwares
*/ */
if (CONFIG_IS_ENABLED(TEN64_CONTROLLER) && if (IS_ENABLED(CONFIG_TEN64_CONTROLLER) &&
board_rev >= TEN64_BOARD_REV_C) { board_rev >= TEN64_BOARD_REV_C) {
ret = board_cycle_retimer(&retim_dev); ret = board_cycle_retimer(&retim_dev);
if (ret) { if (ret) {