acadia/rust/sys/denali/denali.yunq

29 lines
383 B
Plaintext

interface Denali {
method Read(ReadRequest) -> (ReadResponse);
method ReadMany(ReadManyRequest) -> (ReadResponse);
}
message DiskBlock {
u64 lba;
u64 size;
}
message ReadRequest {
u64 device_id;
DiskBlock block;
}
message ReadManyRequest {
u64 device_id;
repeated DiskBlock blocks;
}
message ReadResponse {
u64 device_id;
u64 size;
capability memory;
}