tag	line	file	source code
FD_SENSEI	628	kernel/blk_drv/floppy.c	output_byte(FD_SENSEI);
FD_SENSEI	715	kernel/blk_drv/floppy.c	output_byte(FD_SENSEI);
FD_SENSEI	727	kernel/blk_drv/floppy.c	output_byte(FD_SENSEI);
FD_SENSEI	754	kernel/blk_drv/floppy.c	output_byte(FD_SENSEI);
FD_SENSEI	808	kernel/blk_drv/floppy.c	output_byte(FD_SENSEI);