tag	line	file	source code
BIOS	44	init/main.c	static inline _syscall1(int,setup,void *,BIOS)
BIOS	197	kernel/blk_drv/genhd.c	int sys_setup(void * BIOS)
BIOS	625	kernel/blk_drv/hd.c	void *BIOS = (void *) &drive_info;
BIOS	629	kernel/blk_drv/hd.c	hd_info[drive].cyl = *(unsigned short *) BIOS;
BIOS	630	kernel/blk_drv/hd.c	hd_info[drive].head = *(unsigned char *) (2+BIOS);
BIOS	631	kernel/blk_drv/hd.c	hd_info[drive].wpcom = *(unsigned short *) (5+BIOS);
BIOS	632	kernel/blk_drv/hd.c	hd_info[drive].ctl = *(unsigned char *) (8+BIOS);
BIOS	633	kernel/blk_drv/hd.c	hd_info[drive].lzone = *(unsigned short *) (12+BIOS);
BIOS	634	kernel/blk_drv/hd.c	hd_info[drive].sect = *(unsigned char *) (14+BIOS);
BIOS	635	kernel/blk_drv/hd.c	BIOS += 16;