Rename GC_dirty_async back to GC_dirty

(fix of commit bb8e97c)

* include/private/gc_priv.h [MANUAL_VDB] (GC_dirty_async_inner): Rename
to GC_dirty_inner; add comment.
* os_dep.c [MANUAL_VDB] (GC_dirty_async_inner): Likewise.
* include/private/gc_priv.h (GC_dirty_async): Rename to GC_dirty.
* mallocx.c (GC_end_stubborn_change): Rename GC_dirty_async to GC_dirty.
* mark.c [THREADS] (GC_mark_and_push_stack): Likewise.

1 files changed, 1 insertions, 1 deletions

diff --git a/mallocx.c b/mallocx.c
index b4ee570c..7b5cd5c3 100644
--- a/mallocx.c
+++ b/mallocx.c
@@ -613,5 +613,5 @@ GC_API void GC_CALL GC_change_stubborn(const void *p GC_ATTR_UNUSED)
 
 GC_API void GC_CALL GC_end_stubborn_change(const void *p)
 {
-  GC_dirty_async(p); /* entire object */
+  GC_dirty(p); /* entire object */
 }