pool_resource_type_list
(void) pool_resource_type_list(NULL, &count);
(void) pool_resource_type_list(resource_types, &count);
return ((jint)pool_resource_type_list((char const **)reslist, numres));
extern int pool_resource_type_list(const char **, uint_t *);