ebda_kb           227 drivers/platform/x86/ibm_rtl.c 	unsigned int ebda_kb;
ebda_kb           248 drivers/platform/x86/ibm_rtl.c 	ebda_kb = ioread16(ebda_map);
ebda_kb           249 drivers/platform/x86/ibm_rtl.c 	RTL_DEBUG("EBDA is %d kB\n", ebda_kb);
ebda_kb           251 drivers/platform/x86/ibm_rtl.c 	if (ebda_kb == 0)
ebda_kb           255 drivers/platform/x86/ibm_rtl.c 	ebda_size = ebda_kb*1024;