acpi_ut_release_to_cache (ACPI_MEM_LIST_OPERAND, object);  
(void) acpi_os_release_object (acpi_gbl_operand_cache, object); 
acpi_ut_delete_object_desc (	union acpi_operand_object       *object){	ACPI_FUNCTION_TRACE_PTR ("ut_delete_object_desc", object);	/* Object must be an union acpi_operand_object    */	if (ACPI_GET_DESCRIPTOR_TYPE (object) != ACPI_DESC_TYPE_OPERAND) {		ACPI_DEBUG_PRINT ((ACPI_DB_ERROR,				"%p is not an ACPI Operand object [%s]\n", object,				acpi_ut_get_descriptor_name (object)));		return_VOID;	}	acpi_ut_release_to_cache (ACPI_MEM_LIST_OPERAND, object);	return_VOID;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/73459f73e5d1602c59ebec114fc45185521353c1/utobject.c/buggy/drivers/acpi/utilities/utobject.c