PCB_VEC
if ((pcb->pcb_flags & (PCB_FPU|PCB_VEC|PCB_VSX)) == 0)
if (pcb->pcb_flags & (PCB_FPU|PCB_VEC|PCB_VSX)) {
if (pcb->pcb_flags & (PCB_FPU|PCB_VEC|PCB_VSX) &&
if (pcb->pcb_flags & (PCB_FPU|PCB_VEC|PCB_VSX) &&
if (pcb->pcb_flags & (PCB_FPU|PCB_VEC|PCB_VSX)) {
pcb->pcb_flags |= (PCB_FPU|PCB_VEC|PCB_VSX);
if (pcb->pcb_flags & (PCB_FPU|PCB_VEC|PCB_VSX))
curpcb->pcb_flags |= PCB_VEC;
if (pcb1->pcb_flags & (PCB_FPU|PCB_VEC|PCB_VSX) &&