Searched refs:acl2_access (Results 1 – 3 of 3) sorted by relevance
341 extern void acl2_access(ACCESS2args *, ACCESS2res *,
287 acl2_access(ACCESS2args *args, ACCESS2res *resp, struct exportinfo *exi, in acl2_access() function
1912 {acl2_access,