tag	line	file	source code
FD_SENSEI	670	kernel/blk_drv/floppy.c	output_byte(FD_SENSEI);
FD_SENSEI	723	kernel/blk_drv/floppy.c	output_byte(FD_SENSEI);
FD_SENSEI	737	kernel/blk_drv/floppy.c	output_byte(FD_SENSEI);
FD_SENSEI	764	kernel/blk_drv/floppy.c	output_byte(FD_SENSEI);
FD_SENSEI	830	kernel/blk_drv/floppy.c	output_byte(FD_SENSEI);