KERNEL_VXR
mask = __atomic_or(KERNEL_FPC | KERNEL_VXR, &thread->kfpu_flags);
flags = ~READ_ONCE(thread->ufpu_flags) & (KERNEL_FPC | KERNEL_VXR);
mask = flags & KERNEL_VXR;
if (mask == KERNEL_VXR) {
mask = flags & KERNEL_VXR;
if (mask == KERNEL_VXR) {
mask = flags & KERNEL_VXR;
if (mask == KERNEL_VXR) {
mask = flags & KERNEL_VXR;
if (mask == KERNEL_VXR) {
kernel_fpu_begin(&fpu, KERNEL_FPC | KERNEL_VXR);
kernel_fpu_end(&fpu, KERNEL_FPC | KERNEL_VXR);
kernel_fpu_begin(&vxstate, KERNEL_VXR);
kernel_fpu_end(&vxstate, KERNEL_VXR);