From abbe7e27151039f5f56b7130f0043f703862e99c Mon Sep 17 00:00:00 2001 From: Mathieu Desnoyers Date: Wed, 27 May 2009 10:38:27 -0400 Subject: [PATCH] Use define SLAB_SIZE in promela model Signed-off-by: Mathieu Desnoyers --- formal-model/urcu-controldataflow/urcu.spin | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/formal-model/urcu-controldataflow/urcu.spin b/formal-model/urcu-controldataflow/urcu.spin index b329058..3956d75 100644 --- a/formal-model/urcu-controldataflow/urcu.spin +++ b/formal-model/urcu-controldataflow/urcu.spin @@ -349,7 +349,7 @@ DECLARE_CACHED_VAR(byte, urcu_active_readers[NR_READERS]); /* RCU pointer */ DECLARE_CACHED_VAR(byte, rcu_ptr); /* RCU data */ -DECLARE_CACHED_VAR(byte, rcu_data[2]); +DECLARE_CACHED_VAR(byte, rcu_data[SLAB_SIZE]); byte ptr_read[NR_READERS]; byte data_read[NR_READERS]; -- 2.34.1