tag	line	file	source code
bios32_init	25	include/linux/bios32.h	unsigned long bios32_init(unsigned long memory_start, unsigned long memory_end);
bios32_init	82	init/main.c	extern long bios32_init(long, long);
bios32_init	389	init/main.c	memory_start = bios32_init(memory_start,memory_end);