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