Searched refs:acl2_access_getfh (Results 1 – 3 of 3) sorted by relevance
343 extern void *acl2_access_getfh(ACCESS2args *);
375 acl2_access_getfh(ACCESS2args *args) in acl2_access_getfh() function
1921 acl2_access_getfh},