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: https://git.liburcu.org/?a=commitdiff_plain;h=6b0de96380f9abdb7a77b79d3b2d0cf5762f266f;hp=6b0de96380f9abdb7a77b79d3b2d0cf5762f266f;p=urcu.git

Model used for ipi verification run #1

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