KERNEL_VXR_V16V23
if (flags & KERNEL_VXR_V16V23)
#define KERNEL_VXR_MID (KERNEL_VXR_V8V15 | KERNEL_VXR_V16V23)
#define KERNEL_VXR_HIGH (KERNEL_VXR_V16V23 | KERNEL_VXR_V24V31)
else if (mask == KERNEL_VXR_V16V23)
else if (mask == KERNEL_VXR_V16V23)
else if (mask == KERNEL_VXR_V16V23)
else if (mask == KERNEL_VXR_V16V23)
kernel_fpu_begin(&vxstate, KERNEL_VXR_V16V23);
kernel_fpu_end(&vxstate, KERNEL_VXR_V16V23);