Searched refs:acl2_getattr (Results 1 – 3 of 3) sorted by relevance
338 extern void acl2_getattr(GETATTR2args *, GETATTR2res *,
248 acl2_getattr(GETATTR2args *args, GETATTR2res *resp, struct exportinfo *exi, in acl2_getattr() function
1901 {acl2_getattr,