result = remove_memory(start, len, attr); 
result = remove_memory(start, len); 
static int acpi_memory_disable_device(struct acpi_memory_device *mem_device){	int result;	u64 start = mem_device->start_addr;	u64 len = mem_device->end_addr - start + 1;	unsigned long attr = mem_device->read_write_attribute;	ACPI_FUNCTION_TRACE("acpi_memory_disable_device");	/*	 * Ask the VM to offline this memory range.	 * Note: Assume that this function returns zero on success	 */	result = remove_memory(start, len, attr);	if (result) {		ACPI_DEBUG_PRINT((ACPI_DB_ERROR, "Hot-Remove failed.\n"));		return_VALUE(result);	}	/* Power-off and eject the device */	result = acpi_memory_powerdown_device(mem_device);	if (result) {		ACPI_DEBUG_PRINT((ACPI_DB_ERROR,				  "Device Power Down failed.\n"));		/* Set the status of the device to invalid */		mem_device->state = MEMORY_INVALID_STATE;		return result;	}	mem_device->state = MEMORY_POWER_OFF_STATE;	return result;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/0b0acbec1bed75ec1e1daa7f7006323a2a2b2844/acpi_memhotplug.c/buggy/drivers/acpi/acpi_memhotplug.c