__svc_set_proc_cleanup_cb
(void (*)()) __svc_set_proc_cleanup_cb(
extern void *__svc_set_proc_cleanup_cb();