From: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
Date: Wed, 17 Aug 2011 10:05:42 +0000 (-0400)
Subject: futex model: Add futex_progress_inverted_waiting_vs_gp_futex error injection
X-Git-Url: https://git.liburcu.org/?a=commitdiff_plain;h=37acf64d444bf756e8f61e4eaa2ea96fadf84635;hp=37acf64d444bf756e8f61e4eaa2ea96fadf84635;p=urcu.git

futex model: Add futex_progress_inverted_waiting_vs_gp_futex error injection

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
---