tag	line	file	source code
shift_right	59	kernel/math/div.c	shift_right(b);
shift_right	67	kernel/math/sqrt.c	shift_right(src);