KERNEL_VXR_LOW
#define KERNEL_VXR (KERNEL_VXR_LOW | KERNEL_VXR_HIGH)
#define KERNEL_FPR (KERNEL_FPC | KERNEL_VXR_LOW)
mask = flags & KERNEL_VXR_LOW;
if (mask == KERNEL_VXR_LOW)
if (flags & KERNEL_VXR_LOW)
mask = flags & KERNEL_VXR_LOW;
if (mask == KERNEL_VXR_LOW)
if (flags & KERNEL_VXR_LOW)
mask = flags & KERNEL_VXR_LOW;
if (mask == KERNEL_VXR_LOW)
if (flags & KERNEL_VXR_LOW)
mask = flags & KERNEL_VXR_LOW;
if (mask == KERNEL_VXR_LOW)
kernel_fpu_begin(&vxstate, KERNEL_VXR_LOW); \
kernel_fpu_end(&vxstate, KERNEL_VXR_LOW); \