1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 /* 3 * Copyright (C) 2023 SiFive 4 */ 5 6 #ifndef _ASM_RISCV_FPU_H 7 #define _ASM_RISCV_FPU_H 8 9 #include <asm/switch_to.h> 10 11 #define kernel_fpu_available() has_fpu() 12 13 void kernel_fpu_begin(void); 14 void kernel_fpu_end(void); 15 16 #endif /* ! _ASM_RISCV_FPU_H */ 17