tag	line	file	source code
write_cmd640_vlb	2436	drivers/block/ide.c	write_cmd640_vlb(port, 0x51, read_cmd640_vlb(port, 0x51)|0xc8);
write_cmd640_vlb	2437	drivers/block/ide.c	write_cmd640_vlb(port, 0x57, read_cmd640_vlb(port, 0x57)|0x0c);