tag	line	file	source code
ejectflag	1035	drivers/block/ide-cd.c	cdrom_eject (ide_dev_t *dev, int ejectflag)
ejectflag	1042	drivers/block/ide-cd.c	pc.c[4] = 2 + (ejectflag != 0);