IRC, unknown channel, unknown date.
<tschwinge> gianluca, youpi: Why the value 32 for the TLB flushing decision, by the way? <youpi> completely arbitrary <tschwinge> I thought whether that might perhaps be worth a macro definition with a comment? <verte> what's the typical TLB size these days? <youpi> tschwinge: right <youpi> note that the 32 value would be probably different between native and xen <gianluca> tschwinge: just arbitrary