/* The following *_destroy functions are used to free any memory allocated for each kind of symbol data in the policy database.  */
static int perm_destroy(void *key, void *datum, void *p)
/* The following *_destroy functions are used to free any memory allocated for each kind of symbol data in the policy database.  */
static int perm_destroy(void *key, void *datum, void *p)
{
	kfree(key);
	kfree(datum);
	return 0;
}