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 13void kernel_fpu_begin(void); 14void kernel_fpu_end(void); 15 16#endif /* ! _ASM_RISCV_FPU_H */ 17 18