/drivers/include/ddk.h |
---|
0,0 → 1,56 |
#ifndef __DDK_H__ |
#define __DDK_H__ |
#include <kernel.h> |
#define OS_BASE 0x80000000 |
#define PG_SW 0x003 |
#define PG_NOCACHE 0x018 |
#define MANUAL_DESTROY 0x80000000 |
typedef struct |
{ |
u32_t code; |
u32_t data[5]; |
}kevent_t; |
typedef union |
{ |
struct |
{ |
u32_t handle; |
u32_t euid; |
}; |
u64_t raw; |
}evhandle_t; |
typedef struct |
{ |
u32_t handle; |
u32_t io_code; |
void *input; |
int inp_size; |
void *output; |
int out_size; |
}ioctl_t; |
typedef int (__stdcall *srv_proc_t)(ioctl_t *); |
#define ERR_OK 0 |
#define ERR_PARAM -1 |
struct ddk_params; |
int ddk_init(struct ddk_params *params); |
u32_t drvEntry(int, char *)__asm__("_drvEntry"); |
#endif /* DDK_H */ |