Searched refs:acl2_getacl_getfh (Results 1 – 3 of 3) sorted by relevance
333 extern void *acl2_getacl_getfh(GETACL2args *);
167 acl2_getacl_getfh(GETACL2args *args) in acl2_getacl_getfh() function
1887 acl2_getacl_getfh},