From: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Date: Sat, 30 May 2009 22:30:30 +0000 (-0400)
Subject: Model used for ipi verification run #1
X-Git-Tag: v0.1~203
X-Git-Url: http://git.lttng.org./?a=commitdiff_plain;ds=sidebyside;h=6b0de96380f9abdb7a77b79d3b2d0cf5762f266f;hp=6b0de96380f9abdb7a77b79d3b2d0cf5762f266f;p=userspace-rcu.git

Model used for ipi verification run #1

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
---