/*
 * timer_delete.c - delete a per-process timer.
 */

#include <errno.h>
#include <stdlib.h>
#include <time.h>
#include <sys/syscall.h>

#include "kernel-posix-timers.h"

#ifdef __NR_timer_delete

#define __NR___syscall_timer_delete __NR_timer_delete
static inline _syscall1(int, __syscall_timer_delete, kernel_timer_t, ktimerid);

/* Delete a per-process timer */
int timer_delete(timer_t timerid)
{
	int res;
	struct timer *kt = (struct timer *)timerid;

	/* Delete the kernel timer object */
	res = __syscall_timer_delete(kt->ktimerid);
	if (res == 0) {
		free(kt);	/* Free the memory */
		return 0;
	}

	return -1;
}

#endif