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