#include "defs.h"

SYS_FUNC(lookup_dcookie)
{
	if (entering(tcp))
		return 0;

	/* cookie */
	int argn = printllval(tcp, "%llu", 0);
	tprints(", ");

	/* buffer */
	if (syserror(tcp))
		printaddr(tcp->u_arg[argn]);
	else
		printstr(tcp, tcp->u_arg[argn], tcp->u_rval);

	/* len */
	tprintf(", %lu", tcp->u_arg[argn + 1]);

	return 0;
}