X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=datapath%2Ftable.c;h=b54534a6df5215ca96c5113a5f0f7540c1cd6c08;hb=e05924baf0c757b579eef2b3743130ade4b1a93c;hp=5c1b82a4b69ac8938a340305b2b913ac9de14632;hpb=4885254becfd531f8a24adb33f8c62c2f17debb0;p=openvswitch

diff --git a/datapath/table.c b/datapath/table.c
index 5c1b82a4..b54534a6 100644
--- a/datapath/table.c
+++ b/datapath/table.c
@@ -51,7 +51,7 @@ static void free_buckets(struct tbl_bucket __rcu ***l1,
 		unsigned int j;
 
 		for (j = 0; j < TBL_L2_SIZE; j++) {
-			struct tbl_bucket *bucket = rcu_dereference(l2[j]);
+			struct tbl_bucket *bucket = (struct tbl_bucket __force *)l2[j];
 			if (!bucket)
 				continue;