fpu.h

 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 */