tag	line	file	source code
ADD64	123	kernel/math/get_put.c	ADD64((c>>4), i.a, i.b);
ADD64	125	kernel/math/get_put.c	ADD64((c&0xf), i.a, i.b);