/*
 * SPDX-License-Identifier: BSD-2-Clause
 *
 * Copyright 2026 The FreeBSD Foundation
 *
 * This software was developed by Konstantin Belousov <kib@FreeBSD.org>
 * under sponsorship from the FreeBSD Foundation.
 */

#ifndef __DEV_NTSYNC_H__
#define __DEV_NTSYNC_H__

#include <sys/types.h>
#include <sys/ioccom.h>

struct ntsync_sem_args {
        uint32_t count;
        uint32_t max;
};

struct ntsync_mutex_args {
        uint32_t owner;
        uint32_t count;
};

struct ntsync_event_args {
        uint32_t manual;
        uint32_t signaled;
};

struct ntsync_wait_args {
        uint64_t timeout;
        uint64_t objs;
        uint32_t count;
        uint32_t index;
        uint32_t flags;
        uint32_t owner;
        uint32_t alert;
        uint32_t pad;
};

#define NTSYNC_WAIT_REALTIME    0x00000001

#define NTSYNC_MAX_WAIT_COUNT   64

/*
 * 'sp' means that the ioctl is special, it might return both error
 * and copy out parameters.  See ntsync_ioctl_copyout().
 */

#define NTSYNC_IOC_CREATE_SEM   _IOW('n', 1, struct ntsync_sem_args)
#define NTSYNC_IOC_CREATE_MUTEX _IOW('n', 2, struct ntsync_mutex_args)
#define NTSYNC_IOC_CREATE_EVENT _IOW('n', 3, struct ntsync_event_args)
#define NTSYNC_IOC_SEM_RELEASE  _IOWR('n', 4, uint32_t)
#define NTSYNC_IOC_MUTEX_UNLOCK _IOWR('n', 5, struct ntsync_mutex_args)
#define NTSYNC_IOC_EVENT_SET    _IOR('n', 6, uint32_t)
#define NTSYNC_IOC_EVENT_RESET  _IOR('n', 7, uint32_t)
#define NTSYNC_IOC_EVENT_PULSE  _IOR('n', 8, uint32_t)
#define NTSYNC_IOC_SEM_READ     _IOR('n', 9, struct ntsync_sem_args)
#define NTSYNC_IOC_MUTEX_READ   _IO('n', 10) /* sp */
#define NTSYNC_IOC_EVENT_READ   _IOR('n', 11, struct ntsync_event_args)
#define NTSYNC_IOC_MUTEX_KILL   _IOW('n', 12, uint32_t)
#define NTSYNC_IOC_WAIT_ANY     _IOW('n', 13, struct ntsync_wait_args) /* sp */
#define NTSYNC_IOC_WAIT_ALL     _IOW('n', 14, struct ntsync_wait_args) /* sp */

#endif