Lines Matching refs:kernel

6 The kernel allows threads to use floating point registers on board
16     The kernel does not support the use of floating point registers by ISRs.
25 The kernel can be configured to provide only the floating point services
27 which are described below. In addition, the kernel's support for the SSE
34 registers. It is the kernel's default floating point services mode.
37 the kernel generates a fatal error condition and aborts the thread.
45 On x86 platforms, the kernel initializes the floating point registers so they can
52     the floating point registers, as the kernel does not attempt to detect
60 the kernel supports one or more of the following thread sub-classes:
69 The kernel initializes and enables access to the floating point registers,
82 On the ARM Cortex-M architecture with the Floating Point Extension, the kernel
85 The ARM kernel automatically detects that a given thread is using the floating
102 During thread context switching the ARM kernel saves the *callee-saved*
106 point registers, the kernel restores the *callee-saved* FP registers of
108 the thread's stack. Thus, the kernel does not save or restore the FP
128   :c:macro:`K_FP_REGS`, as soon as the kernel detects that they are using the
133 more, it can call :c:func:`k_float_disable`. This instructs the kernel
145 On the ARM64 (Aarch64) architecture the kernel treats each thread as a FPU
165 On the ARCv2 architecture, the kernel treats each thread as a non-user
176 more, it can call :c:func:`k_float_disable`. This instructs the kernel
179 During thread context switching the ARC kernel saves the *callee-saved*
183 point registers, the kernel restores the *callee-saved* FP registers of
185 the thread's stack. Thus, the kernel does not save or restore the FP
193 On the RISC-V architecture the kernel treats each thread as an FPU
228 On the SPARC architecture, the kernel treats each thread as a non-user
239 kernel saves *all* floating point registers, if the FPU was enabled in
256 On the x86 architecture the kernel treats each thread as a non-user,
273 The x86 kernel automatically detects that a given thread is using
275 The thread is tagged as an SSE user if the kernel has been configured
296 This eliminates the need for the kernel to take steps to preserve
309 if the kernel is properly configured.
335 Use the kernel floating point services when an application needs to