xref: /openbmc/linux/tools/memory-model/linux-kernel.cfg (revision c13aca79ff3c4af5fd31a5b2743a90eba6e36a26)
1*1c27b644SPaul E. McKenneymacros linux-kernel.def
2*1c27b644SPaul E. McKenneybell linux-kernel.bell
3*1c27b644SPaul E. McKenneymodel linux-kernel.cat
4*1c27b644SPaul E. McKenneygraph columns
5*1c27b644SPaul E. McKenneysquished true
6*1c27b644SPaul E. McKenneyshowevents noregs
7*1c27b644SPaul E. McKenneymovelabel true
8*1c27b644SPaul E. McKenneyfontsize 8
9*1c27b644SPaul E. McKenneyxscale 2.0
10*1c27b644SPaul E. McKenneyyscale 1.5
11*1c27b644SPaul E. McKenneyarrowsize 0.8
12*1c27b644SPaul E. McKenneyshowinitrf false
13*1c27b644SPaul E. McKenneyshowfinalrf false
14*1c27b644SPaul E. McKenneyshowinitwrites false
15*1c27b644SPaul E. McKenneysplines spline
16*1c27b644SPaul E. McKenneypad 0.1
17*1c27b644SPaul E. McKenneyedgeattr hb,color,indigo
18*1c27b644SPaul E. McKenneyedgeattr co,color,blue
19*1c27b644SPaul E. McKenneyedgeattr mb,color,darkgreen
20*1c27b644SPaul E. McKenneyedgeattr wmb,color,darkgreen
21*1c27b644SPaul E. McKenneyedgeattr rmb,color,darkgreen
22