PCB_VSX
if (pcb->pcb_flags & PCB_VSX) {
if (pcb->pcb_flags & PCB_VSX) {
if (pcb->pcb_flags & PCB_VSX) {
pcb->pcb_flags &= ~(PCB_FPU | PCB_VSX | PCB_VEC);
if (pcb->pcb_flags & PCB_VSX)
if (pcb->pcb_flags & PCB_VSX)
if (pcb->pcb_flags & PCB_VSX) {
pcb->pcb_flags &= ~(PCB_FPU | PCB_VSX);
if (pcb->pcb_flags & PCB_VSX)
if (pcb->pcb_flags & PCB_VSX) {
pcb->pcb_flags |= PCB_VSX;
if (pcb->pcb_flags & PCB_VSX) {
KASSERT((td->td_pcb->pcb_flags & PCB_VSX) != PCB_VSX,
td->td_pcb->pcb_flags |= PCB_VSX;