(mem_device->end_addr - mem_device->start_addr) + 1, mem_device->read_write_attribute); 
(mem_device->end_addr - mem_device->start_addr) + 1); 
static int acpi_memory_enable_device(struct acpi_memory_device *mem_device){	int result;	ACPI_FUNCTION_TRACE("acpi_memory_enable_device");	/* Get the range from the _CRS */	result = acpi_memory_get_device_resources(mem_device);	if (result) {		ACPI_DEBUG_PRINT((ACPI_DB_ERROR,				  "\nget_device_resources failed\n"));		mem_device->state = MEMORY_INVALID_STATE;		return result;	}	/*	 * Tell the VM there is more memory here...	 * Note: Assume that this function returns zero on success	 */	result = add_memory(mem_device->start_addr,			    (mem_device->end_addr - mem_device->start_addr) + 1,			    mem_device->read_write_attribute);	if (result) {		ACPI_DEBUG_PRINT((ACPI_DB_ERROR, "\nadd_memory failed\n"));		mem_device->state = MEMORY_INVALID_STATE;		return result;	}	return result;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/0b0acbec1bed75ec1e1daa7f7006323a2a2b2844/acpi_memhotplug.c/buggy/drivers/acpi/acpi_memhotplug.c