blob: a931a7eb9adf84258c85c790d4d89deb2f1f0d2d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
intr protocol PintrProtocol {
// sanity check of Interrupt protocols
child:
async AsyncMsg();
parent:
sync SyncMsg(int i) returns (int r);
both:
[LegacyIntr] intr InterruptMsg(int x) returns (int y);
};
|