/* SPDX-License-Identifier: GPL-2.0-only */ | |
/* | |
* Copyright (C) 2023 SiFive | |
*/ | |
#ifndef _ASM_RISCV_FPU_H | |
#define _ASM_RISCV_FPU_H | |
#include <asm/switch_to.h> | |
#define kernel_fpu_available() has_fpu() | |
void kernel_fpu_begin(void); | |
void kernel_fpu_end(void); | |
#endif /* ! _ASM_RISCV_FPU_H */ |