void kadm5_free_name_list(void *server_handle, char **names, int *count);
Free the memory that was allocated by kadm5_get_principals or kadm5_get_policies. names and count must be a matched pair of values returned from one of those two functions.