Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-04-04 22:39:54 +00:00
Code Issues Packages Projects Releases Wiki Activity

ARM64: Always declare disable FPU functions

Browse Source 
disableFpu() is always called at boot and calls one of those.

Signed-off-by: Indan Zupancic <indan@nul.nu>
This commit is contained in:
Indan Zupancic
2024-09-26 21:15:53 +01:00
committed by Gerwin Klein
parent 88c25fe7fc
commit 4031b9db83
1 changed files with 21 additions and 21 deletions
Download Patch File Download Diff File Expand all files Collapse all files

42
include/arch/arm/arch/64/mode/machine/fpu.h
View File

@@ -85,16 +85,6 @@ static inline void loadFpuState(const tcb_t *thread)
);
}
/* Trap any FPU related instructions to EL2 */
static inline void enableTrapFpu(void)
{
word_t cptr;
MRS("cptr_el2", cptr);
cptr |= (BIT(10) | BIT(31));
MSR("cptr_el2", cptr);
isb();
}
/* Disable trapping FPU instructions to EL2 */
static inline void disableTrapFpu(void)
{
@@ -115,17 +105,6 @@ static inline void enableFpuEL01(void)
isb();
}
/* Disable FPU access in EL0 */
static inline void disableFpuEL0(void)
{
word_t cpacr;
MRS("cpacr_el1", cpacr);
cpacr &= ~(3 << CPACR_EL1_FPEN);
cpacr |= (1 << CPACR_EL1_FPEN);
MSR("cpacr_el1", cpacr);
isb();
}
/* Enable the FPU to be used without faulting.
* Required even if the kernel attempts to use the FPU. */
static inline void enableFpu(void)
@@ -138,6 +117,27 @@ static inline void enableFpu(void)
}
#endif /* CONFIG_HAVE_FPU */
/* Trap any FPU related instructions to EL2 */
static inline void enableTrapFpu(void)
{
word_t cptr;
MRS("cptr_el2", cptr);
cptr |= (BIT(10) | BIT(31));
MSR("cptr_el2", cptr);
isb();
}
/* Disable FPU access in EL0 */
static inline void disableFpuEL0(void)
{
word_t cpacr;
MRS("cpacr_el1", cpacr);
cpacr &= ~(3 << CPACR_EL1_FPEN);
cpacr |= (1 << CPACR_EL1_FPEN);
MSR("cpacr_el1", cpacr);
isb();
}
/* Disable the FPU so that usage of it causes a fault */
static inline void disableFpu(void)
{