Searched refs:acl2_getacl_free (Results 1 – 3 of 3) sorted by relevance
334 extern void acl2_getacl_free(GETACL2res *);
174 acl2_getacl_free(GETACL2res *resp) in acl2_getacl_free() function
1886 acl2_getacl_free, RPC_IDEMPOTENT,