<> <> <> CommBufferExtras: CEDAR DEFINITIONS = { <> <<>> gapNoList: [0..16384) ~ 0; -- not on any linked list gapFreeList: [0..16384) ~ 1; -- on the free buffers list in CommDriverImpl gapSendOne: [0..16384) ~ 2; -- on the queue in EthernetOneDriver.SendInner gapRecvOne: [0..16384) ~ 3; -- on the queue in EthernetOneDriver.RecvInner gapSend: [0..16384) ~ 4; -- on the queue in EthernetDriver.SendInner gapRecv: [0..16384) ~ 5; -- on the queue in EthernetDriver.RecvInner }.