tag	line	file	source code
BIOS	42	init/main.c	static inline _syscall1(int,setup,void *,BIOS)
BIOS	200	kernel/blk_drv/genhd.c	int sys_setup(void * BIOS)
BIOS	606	kernel/blk_drv/hd.c	void *BIOS = (void *) &drive_info;
BIOS	610	kernel/blk_drv/hd.c	hd_info[drive].cyl = *(unsigned short *) BIOS;
BIOS	611	kernel/blk_drv/hd.c	hd_info[drive].head = *(unsigned char *) (2+BIOS);
BIOS	612	kernel/blk_drv/hd.c	hd_info[drive].wpcom = *(unsigned short *) (5+BIOS);
BIOS	613	kernel/blk_drv/hd.c	hd_info[drive].ctl = *(unsigned char *) (8+BIOS);
BIOS	614	kernel/blk_drv/hd.c	hd_info[drive].lzone = *(unsigned short *) (12+BIOS);
BIOS	615	kernel/blk_drv/hd.c	hd_info[drive].sect = *(unsigned char *) (14+BIOS);
BIOS	616	kernel/blk_drv/hd.c	BIOS += 16;