diff options
Diffstat (limited to 'src/arch/riscv')
| -rw-r--r-- | src/arch/riscv/include/arch/cpu.h | 2 | ||||
| -rw-r--r-- | src/arch/riscv/sbi.c | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/arch/riscv/include/arch/cpu.h b/src/arch/riscv/include/arch/cpu.h index 4ee580cd96..547cb76a04 100644 --- a/src/arch/riscv/include/arch/cpu.h +++ b/src/arch/riscv/include/arch/cpu.h @@ -33,7 +33,7 @@ struct thread; struct cpu_info { struct device *cpu; unsigned long index; -#if IS_ENABLED(CONFIG_COOP_MULTITASKING) +#if CONFIG(COOP_MULTITASKING) struct thread *thread; #endif }; diff --git a/src/arch/riscv/sbi.c b/src/arch/riscv/sbi.c index e5408288af..a5f3fd4065 100644 --- a/src/arch/riscv/sbi.c +++ b/src/arch/riscv/sbi.c @@ -45,7 +45,7 @@ static uintptr_t sbi_set_timer(uint64_t when) return 0; } -#if IS_ENABLED(CONFIG_CONSOLE_SERIAL) +#if CONFIG(CONSOLE_SERIAL) static uintptr_t sbi_console_putchar(uint8_t ch) { uart_tx_byte(CONFIG_UART_FOR_CONSOLE, ch); @@ -86,7 +86,7 @@ void handle_sbi(trapframe *tf) ret = sbi_set_timer(arg0); #endif break; -#if IS_ENABLED(CONFIG_CONSOLE_SERIAL) +#if CONFIG(CONSOLE_SERIAL) case SBI_CONSOLE_PUTCHAR: ret = sbi_console_putchar(arg0); break; |