ipv4: tcp: send zero IPID for RST and ACK sent in SYN-RECV and TIME-WAIT state
[linux/fpc-iii.git] / tools / memory-model / linux-kernel.cfg
blob3c8098e99f41dfe72cb75f4c276801ab2c855f83
1 macros linux-kernel.def
2 bell linux-kernel.bell
3 model linux-kernel.cat
4 graph columns
5 squished true
6 showevents noregs
7 movelabel true
8 fontsize 8
9 xscale 2.0
10 yscale 1.5
11 arrowsize 0.8
12 showinitrf false
13 showfinalrf false
14 showinitwrites false
15 splines spline
16 pad 0.1
17 edgeattr hb,color,indigo
18 edgeattr co,color,blue
19 edgeattr mb,color,darkgreen
20 edgeattr wmb,color,darkgreen
21 edgeattr rmb,color,darkgreen