CommBufferExtras.mesa

CommBufferExtras: CEDAR DEFINITIONS = {

The following values are assigned to the ovh.gap field of a buffer, to try to catch buffers that are freed while they are on some other linked list.

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

}.