Symbol: vector_copy_thread
sys/riscv/include/vector.h
33
void vector_copy_thread(struct thread *td1, struct thread *td2);
sys/riscv/riscv/vm_machdep.c
133
vector_copy_thread(td1, td2);