tjh.dev
Linux kernel mirror (for testing)
git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
kernel
os
linux
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 */