Mercurial > hg > Gears > GearsAgda

annotate src/allocate/prototype.h @ 10:88a4a95f5485

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
create list
author Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
date Thu, 02 Apr 2015 02:31:13 +0900
parents src/allocate/allocate_test.h@14c604cfa711
children a4f351b66544
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
9
14c604cfa711 modify directories
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 typedef struct DataSegment1 {
14c604cfa711 modify directories
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 int i; // 4 byte
14c604cfa711 modify directories
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 char c[10]; // 10 byte
14c604cfa711 modify directories
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 // padding 2 byte
14c604cfa711 modify directories
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 } data1;
14c604cfa711 modify directories
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6
14c604cfa711 modify directories
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 typedef struct DataSegment2 {
14c604cfa711 modify directories
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 int x; // 4 byte
14c604cfa711 modify directories
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 int y; // 4 byte
14c604cfa711 modify directories
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 int z; // 4 byte
14c604cfa711 modify directories
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 } data2;
14c604cfa711 modify directories
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12
14c604cfa711 modify directories
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 typedef struct metaDataSegment {
14c604cfa711 modify directories
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 size_t size; // 8 byte
14c604cfa711 modify directories
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 void* ds; // 8 byte
14c604cfa711 modify directories
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 } mdata;
14c604cfa711 modify directories
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17
14c604cfa711 modify directories
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 __code code1();
14c604cfa711 modify directories
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 __code meta_code1();
14c604cfa711 modify directories
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 __code code2();
14c604cfa711 modify directories
Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 __code meta_code2();