Symbol: acl2_getxattrdir_getfh