blob: 486143546b66e70544aa2459831043b81e8ae840 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
[
pointer_default(unique)
]
interface server_id
{
/* id used to identify a endpoint, possibly in a cluster */
typedef [public] struct {
hyper id;
uint32 id2;
uint32 node;
} server_id;
}
|