PCB_VECTOR
if (pcb->pcb_flags & PCB_VECTOR)
if (pcb->pcb_flags & PCB_VECTOR) {
pcb->pcb_flags &= ~(PCB_FPU | PCB_VECTOR);
if (p->p_addr->u_pcb.pcb_flags & PCB_VECTOR)
if ((pcb->pcb_flags & PCB_VECTOR) == 0) {
pcb->pcb_flags |= PCB_VECTOR;
if (pcb->pcb_flags & PCB_VECTOR) {
if (pcb1->pcb_flags & PCB_VECTOR)
if (pcb1->pcb_flags & PCB_VECTOR) {