KERN_SUCCESS       94 gc/darwin_stop_world.c 	if(r != KERN_SUCCESS) ABORT("thread_get_state failed");
KERN_SUCCESS      160 gc/darwin_stop_world.c     if(r != KERN_SUCCESS) ABORT("task_threads failed");
KERN_SUCCESS      176 gc/darwin_stop_world.c 	if(r != KERN_SUCCESS) ABORT("task_get_state failed");
KERN_SUCCESS      219 gc/darwin_stop_world.c 	if(r != KERN_SUCCESS) ABORT("task_get_state failed");
KERN_SUCCESS      307 gc/darwin_stop_world.c       if(kern_result != KERN_SUCCESS) {
KERN_SUCCESS      330 gc/darwin_stop_world.c       if(kern_result != KERN_SUCCESS) {
KERN_SUCCESS      451 gc/darwin_stop_world.c 	    if(kern_result != KERN_SUCCESS) ABORT("thread_info failed");
KERN_SUCCESS      459 gc/darwin_stop_world.c 	    if(kern_result != KERN_SUCCESS) ABORT("thread_resume failed");
KERN_SUCCESS     2215 gc/os_dep.c                    FALSE,VM_PROT_READ) != KERN_SUCCESS) { \
KERN_SUCCESS     2220 gc/os_dep.c                    FALSE,VM_PROT_READ|VM_PROT_WRITE) != KERN_SUCCESS) { \
KERN_SUCCESS     3658 gc/os_dep.c        if(r != KERN_SUCCESS) ABORT("mach_port_allocate failed (exception port)");
KERN_SUCCESS     3662 gc/os_dep.c        if(r != KERN_SUCCESS)
KERN_SUCCESS     3667 gc/os_dep.c            if(r != KERN_SUCCESS) ABORT("mach_port_allocate failed (reply port)");
KERN_SUCCESS     3682 gc/os_dep.c        if(r != KERN_SUCCESS) ABORT("task_get_exception_ports failed");
KERN_SUCCESS     3691 gc/os_dep.c        if(r != KERN_SUCCESS) ABORT("task_set_exception_ports failed");
KERN_SUCCESS     3751 gc/os_dep.c            if(r != KERN_SUCCESS)
KERN_SUCCESS     3777 gc/os_dep.c            if(r != KERN_SUCCESS)
KERN_SUCCESS     3826 gc/os_dep.c        if(r != KERN_SUCCESS) {
KERN_SUCCESS     3832 gc/os_dep.c                return KERN_SUCCESS;
KERN_SUCCESS     3860 gc/os_dep.c                    return KERN_SUCCESS;
KERN_SUCCESS     3897 gc/os_dep.c        return KERN_SUCCESS;