KERNEL_FPC
mask = __atomic_or(KERNEL_FPC | KERNEL_VXR, &thread->kfpu_flags);
flags = ~READ_ONCE(thread->ufpu_flags) & (KERNEL_FPC | KERNEL_VXR);
#define KERNEL_FPR (KERNEL_FPC | KERNEL_VXR_LOW)
if (flags & KERNEL_FPC)
if (flags & KERNEL_FPC)
if (flags & KERNEL_FPC)
if (flags & KERNEL_FPC)
kernel_fpu_begin(&fpu, KERNEL_FPC | KERNEL_VXR);
kernel_fpu_end(&fpu, KERNEL_FPC | KERNEL_VXR);