Searched refs:acl2_getacl (Results 1 – 3 of 3) sorted by relevance
331 extern void acl2_getacl(GETACL2args *, GETACL2res *,
79 acl2_getacl(GETACL2args *args, GETACL2res *resp, struct exportinfo *exi, in acl2_getacl() function
1883 {acl2_getacl,