output_data = (char *)__PHYSICAL_START; /* Normally Points to 1M */ 
output_data = (unsigned char *)__PHYSICAL_START; /* Normally Points to 1M */ 
void setup_normal_output_buffer(void){#ifdef STANDARD_MEMORY_BIOS_CALL	if (EXT_MEM_K < 1024) error("Less than 2MB of memory");#else	if ((ALT_MEM_K > EXT_MEM_K ? ALT_MEM_K : EXT_MEM_K) < 1024) error("Less than 2MB of memory");#endif	output_data = (char *)__PHYSICAL_START; /* Normally Points to 1M */	free_mem_end_ptr = (long)real_mode;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b3ab8382245541ea030faaa1645f66258fde452d/misc.c/clean/arch/x86_64/boot/compressed/misc.c