/*
|
* SPDX-License-Identifier: GPL-2.0
|
*
|
* Copyright (C) 2006 Gilles Chanteperdrix <gilles.chanteperdrix@xenomai.org>
|
*/
|
|
#ifndef _COBALT_ARM64_DOVETAIL_FPTEST_H
|
#define _COBALT_ARM64_DOVETAIL_FPTEST_H
|
|
#include <linux/errno.h>
|
#include <asm/xenomai/uapi/fptest.h>
|
#include <asm/hwcap.h>
|
|
#define have_fp (ELF_HWCAP & HWCAP_FP)
|
|
static inline int fp_kernel_supported(void)
|
{
|
return 0;
|
}
|
|
static inline void fp_init(void)
|
{
|
}
|
|
static inline int fp_linux_begin(void)
|
{
|
return -ENOSYS;
|
}
|
|
static inline void fp_linux_end(void)
|
{
|
}
|
|
static inline int fp_detect(void)
|
{
|
return have_fp ? __COBALT_HAVE_FPU : 0;
|
}
|
|
#endif /* !_COBALT_ARM64_DOVETAIL_FPTEST_H */
|
