Export GC_push manipulation functions and function pointer.
authorpcpa <paulo.cesar.pereira.de.andrade@gmail.com>
Sun, 27 May 2012 18:30:01 +0000 (15:30 -0300)
committerpcpa <paulo.cesar.pereira.de.andrade@gmail.com>
Sun, 27 May 2012 18:30:01 +0000 (15:30 -0300)
commit460b6a0aa8ccebb0e918bbeab25c5e2da5ab01d4
tree0326d26a9cdc1c202b4e44ec05bbe17a40602558
parent75281019c6e3eb0e9e28cc2e37ab307272f43508
Export GC_push manipulation functions and function pointer.

* include/private/gc_priv.h, include/gc_mark.h: Move GC_push_all,
GC_push_conditional and GC_push_other_roots to a public header and adjust
prototypes and comment.
* mark.c, os_dep.c: Adjust prototypes accordingly.
include/gc_mark.h
include/private/gc_priv.h
mark.c
os_dep.c