#ifndef __DEVCTL_H
#define __DEVCTL_H

#include <stddef.h>
typedef __SIZE_TYPE__ size_t;

int posix_devctl(int, int, void *restrict, size_t, int *restrict);

#endif