tag	line	file	source code
FD_SEEK	705	kernel/blk_drv/floppy.c	output_byte(FD_SEEK);
FD_SEEK	847	kernel/blk_drv/floppy.c	output_byte(FD_SEEK);