tag	line	file	source code
BIOSCODE	1166	drivers/char/pcxx.c	bios = memaddr + BIOSCODE + ((0xf000 - memory_seg) << 4);
BIOSCODE	1186	drivers/char/pcxx.c	bios = memaddr + (BIOSCODE & 0x1fff);