#include "psynch_mutexdrop.h"
#include "../base.h"
#include "psynch_errno.h"
#include <linux-syscalls/linux.h>
#include "../mach/lkm.h"
#include "../../../../external/lkm/api.h"
#include "../simple.h"

long sys_psynch_mutexdrop(void* mutex, uint32_t mgen, uint32_t ugen, uint64_t tid, uint32_t flags)
{
	struct psynch_mutexdrop_args args = {
		.mutex = (unsigned long) mutex,
		.mgen = mgen,
		.ugen = ugen,
		.tid = tid,
		.flags = flags
	};

	// __simple_printf("sys_psynch_mutexdrop(mutex=%p, mgen=%x)\n", mutex, mgen);

	int rv = lkm_call_raw(NR_psynch_mutexdrop_trap, &args);
	return psynch_errno(rv);
}