Searched refs:KERNEL_VXR_HIGH (Results 1 – 2 of 2) sorted by relevance
49 mask = flags & KERNEL_VXR_HIGH; in __kernel_fpu_begin()51 if (mask == KERNEL_VXR_HIGH) in __kernel_fpu_begin()98 mask = flags & KERNEL_VXR_HIGH; in __kernel_fpu_end()100 if (mask == KERNEL_VXR_HIGH) in __kernel_fpu_end()141 mask = flags & KERNEL_VXR_HIGH; in load_fpu_state()143 if (mask == KERNEL_VXR_HIGH) in load_fpu_state()183 mask = flags & KERNEL_VXR_HIGH; in save_fpu_state()185 if (mask == KERNEL_VXR_HIGH) in save_fpu_state()
77 #define KERNEL_VXR_HIGH (KERNEL_VXR_V16V23 | KERNEL_VXR_V24V31) macro79 #define KERNEL_VXR (KERNEL_VXR_LOW | KERNEL_VXR_HIGH)