Commit | Line | Data |
---|---|---|
34e49164 C |
1 | @@ |
2 | type T; | |
3 | T E; | |
4 | @@ | |
5 | ||
6 | - (T) | |
7 | E | |
8 | ||
9 | // // special case | |
10 | //@@ | |
11 | //type T; | |
12 | //identifier x; | |
13 | //T E; | |
14 | //@@ | |
15 | // | |
16 | //T x = | |
17 | //- (T) | |
18 | // E; | |
19 | ||
20 | ||
21 | // // kmalloc for instance don't require cast. | |
22 | //@@ | |
23 | //type T; | |
24 | //identifier x; | |
25 | //void *E; | |
26 | //@@ | |
27 | // | |
28 | //T x = | |
29 | //- (T) | |
30 | // E; | |
31 | ||
32 | ||
33 | // kmalloc, etc | |
34 | // __get_free_page | |
35 | // get_zeroed_page | |
36 | // RING_GET_RESPONSE |