| /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 */ |