root / prex-0.9.0 / bsp / drv / include / dki.h @ 03e9c04a
History | View | Annotate | Download (4.23 KB)
1 | 03e9c04a | Brad Neuman | /*
|
---|---|---|---|
2 | * Copyright (c) 2005-2007, Kohsuke Ohtani
|
||
3 | * All rights reserved.
|
||
4 | *
|
||
5 | * Redistribution and use in source and binary forms, with or without
|
||
6 | * modification, are permitted provided that the following conditions
|
||
7 | * are met:
|
||
8 | * 1. Redistributions of source code must retain the above copyright
|
||
9 | * notice, this list of conditions and the following disclaimer.
|
||
10 | * 2. Redistributions in binary form must reproduce the above copyright
|
||
11 | * notice, this list of conditions and the following disclaimer in the
|
||
12 | * documentation and/or other materials provided with the distribution.
|
||
13 | * 3. Neither the name of the author nor the names of any co-contributors
|
||
14 | * may be used to endorse or promote products derived from this software
|
||
15 | * without specific prior written permission.
|
||
16 | *
|
||
17 | * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
|
||
18 | * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
||
19 | * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
|
||
20 | * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
|
||
21 | * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
|
||
22 | * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
|
||
23 | * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
|
||
24 | * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
|
||
25 | * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
|
||
26 | * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
|
||
27 | * SUCH DAMAGE.
|
||
28 | */
|
||
29 | |||
30 | /*
|
||
31 | * dki.h - Driver-Kernel Interface
|
||
32 | */
|
||
33 | |||
34 | #ifndef _DKI_H
|
||
35 | #define _DKI_H
|
||
36 | |||
37 | #include <types.h> |
||
38 | #include <sys/queue.h> |
||
39 | #include <sys/dbgctl.h> |
||
40 | #include <sys/bootinfo.h> |
||
41 | #include <sys/ipl.h> |
||
42 | #include <sys/power.h> |
||
43 | #include <sys/capability.h> |
||
44 | #include <sys/device.h> |
||
45 | |||
46 | extern dkifn_t *dki_table; /* pointer to DKI function table */ |
||
47 | |||
48 | /*
|
||
49 | * Device open mode
|
||
50 | */
|
||
51 | #define DO_RDONLY 0x0 |
||
52 | #define DO_WRONLY 0x1 |
||
53 | #define DO_RDWR 0x2 |
||
54 | #define DO_RWMASK 0x3 |
||
55 | |||
56 | /*
|
||
57 | * Return value of ISR
|
||
58 | */
|
||
59 | #define INT_DONE 0 /* done */ |
||
60 | #define INT_ERROR 1 /* error */ |
||
61 | #define INT_CONTINUE 2 /* continue to IST */ |
||
62 | |||
63 | /* No IST for irq_attach() */
|
||
64 | #define IST_NONE ((void (*)(void *)) -1) |
||
65 | |||
66 | /*
|
||
67 | * Event for sleep/wakeup
|
||
68 | */
|
||
69 | struct event {
|
||
70 | struct queue sleepq; /* queue for waiting thread */ |
||
71 | const char *name; /* pointer to event name string */ |
||
72 | }; |
||
73 | |||
74 | #define event_init(event, evt_name) \
|
||
75 | do { list_init(&(event)->sleepq); (event)->name = evt_name; } while (0) |
||
76 | |||
77 | /*
|
||
78 | * Sleep result
|
||
79 | */
|
||
80 | #define SLP_SUCCESS 0 |
||
81 | #define SLP_BREAK 1 |
||
82 | #define SLP_TIMEOUT 2 |
||
83 | #define SLP_INVAL 3 |
||
84 | #define SLP_INTR 4 |
||
85 | |||
86 | /*
|
||
87 | * DPC (Deferred Procedure Call) object
|
||
88 | * The data member is private to kernel.
|
||
89 | */
|
||
90 | struct dpc {
|
||
91 | void *_data[5]; |
||
92 | }; |
||
93 | |||
94 | typedef struct dpc dpc_t; |
||
95 | |||
96 | /*
|
||
97 | * Timer structure
|
||
98 | * The data member is private to kernel.
|
||
99 | */
|
||
100 | struct timer {
|
||
101 | void *_data[10]; |
||
102 | }; |
||
103 | |||
104 | typedef struct timer timer_t; |
||
105 | |||
106 | __BEGIN_DECLS |
||
107 | device_t device_create(struct driver *, const char *, int); |
||
108 | int device_destroy(device_t);
|
||
109 | device_t device_lookup(const char *); |
||
110 | int device_control(device_t, u_long, void *); |
||
111 | int device_broadcast(u_long, void *, int); |
||
112 | void *device_private(device_t);
|
||
113 | |||
114 | int copyin(const void *, void *, size_t); |
||
115 | int copyout(const void *, void *, size_t); |
||
116 | int copyinstr(const void *, void *, size_t); |
||
117 | |||
118 | void *kmem_alloc(size_t);
|
||
119 | void kmem_free(void *); |
||
120 | void *kmem_map(void *, size_t); |
||
121 | |||
122 | paddr_t page_alloc(psize_t); |
||
123 | void page_free(paddr_t, psize_t);
|
||
124 | void page_reserve(paddr_t, psize_t);
|
||
125 | |||
126 | irq_t irq_attach(int, int, int, int (*)(void *), void (*)(void *), void *); |
||
127 | void irq_detach(irq_t);
|
||
128 | |||
129 | int spl0(void); |
||
130 | int splhigh(void); |
||
131 | void splx(int); |
||
132 | |||
133 | void timer_callout(timer_t *, u_long, void (*)(void *), void *); |
||
134 | void timer_stop(timer_t *);
|
||
135 | u_long timer_delay(u_long); |
||
136 | u_long timer_ticks(void);
|
||
137 | |||
138 | void sched_lock(void); |
||
139 | void sched_unlock(void); |
||
140 | int sched_tsleep(struct event *, u_long); |
||
141 | void sched_wakeup(struct event *); |
||
142 | void sched_dpc(struct dpc *, void (*)(void *), void *); |
||
143 | #define sched_sleep(event) sched_tsleep((event), 0) |
||
144 | |||
145 | int task_capable(cap_t);
|
||
146 | int exception_post(task_t, int); |
||
147 | void machine_bootinfo(struct bootinfo **); |
||
148 | void machine_powerdown(int); |
||
149 | int sysinfo(int, void *); |
||
150 | void panic(const char *); |
||
151 | void printf(const char *, ...); |
||
152 | void dbgctl(int, void *); |
||
153 | __END_DECLS |
||
154 | |||
155 | #endif /* !_DKI_H */ |