tag	line	file	source code
BIOS	35	init/main.c	static inline _syscall1(int,setup,void *,BIOS)
BIOS	172	kernel/blk_drv/genhd.c	int sys_setup(void * BIOS)
BIOS	506	kernel/blk_drv/hd.c	void *BIOS = (void *) &drive_info;
BIOS	510	kernel/blk_drv/hd.c	hd_info[drive].cyl = *(unsigned short *) BIOS;
BIOS	511	kernel/blk_drv/hd.c	hd_info[drive].head = *(unsigned char *) (2+BIOS);
BIOS	512	kernel/blk_drv/hd.c	hd_info[drive].wpcom = *(unsigned short *) (5+BIOS);
BIOS	513	kernel/blk_drv/hd.c	hd_info[drive].ctl = *(unsigned char *) (8+BIOS);
BIOS	514	kernel/blk_drv/hd.c	hd_info[drive].lzone = *(unsigned short *) (12+BIOS);
BIOS	515	kernel/blk_drv/hd.c	hd_info[drive].sect = *(unsigned char *) (14+BIOS);
BIOS	516	kernel/blk_drv/hd.c	BIOS += 16;