audit_arg_fcntl_rights
void audit_arg_fcntl_rights(uint32_t fcntlrights);
audit_arg_fcntl_rights((fcntlrights)); \