tag	line	file	source code
shrxs	101	kernel/FPU-emu/fpu_emu.h	extern unsigned  shrxs(void *v, unsigned x);
shrxs	1033	kernel/FPU-emu/reg_ld_str.c	eax = shrxs(&r->sigl, EXP_BIAS + 63 - r->exp);