Searched refs:place_obj_die (Results 1 – 2 of 2) sorted by relevance
2301 intptr_t place_obj_die; in terminate_current_place() local2308 place_obj_die = place_obj->die; in terminate_current_place()2311 if (!place_obj_die) { in terminate_current_place()2322 scheme_place_instance_destroy(place_obj_die); in terminate_current_place()