pool_get_resource_binding
if ((resource_name = pool_get_resource_binding(type, pid)) == NULL)
result = pool_get_resource_binding(type, (pid_t)jpid);
extern char *pool_get_resource_binding(const char *, pid_t);