vector_rx        1093 arch/um/drivers/vector_kern.c 	vector_rx(vp);
vector_rx        1280 arch/um/drivers/vector_kern.c 	vector_rx(vp);