X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fport-array.c;h=be4c0dcc02d1033789fb24e631795ce4b236fb2d;hb=0225f3a0f2b18c95ea76362f4a5f816682557a52;hp=e8f35be9ee7436f2f7a7bfff43ce05dad5fb2e65;hpb=34e63086edddcae06d7c1a4fa84fec0861e50758;p=openvswitch

diff --git a/lib/port-array.c b/lib/port-array.c
index e8f35be9..be4c0dcc 100644
--- a/lib/port-array.c
+++ b/lib/port-array.c
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2008 Nicira Networks.
+ * Copyright (c) 2008, 2010 Nicira Networks.
  *
  * Licensed under the Apache License, Version 2.0 (the "License");
  * you may not use this file except in compliance with the License.
@@ -95,6 +95,17 @@ port_array_set(struct port_array *pa, uint16_t idx, void *p)
     l3->l3[PORT_ARRAY_L3(idx)] = p;
 }
 
+/* Sets 'pa' element numbered 'idx' to NULL. */
+void
+port_array_delete(struct port_array *pa, uint16_t idx)
+{
+    unsigned int l1_idx = PORT_ARRAY_L1(idx);
+    unsigned int l2_idx = PORT_ARRAY_L2(idx);
+    unsigned int l3_idx = PORT_ARRAY_L3(idx);
+
+    pa->l1[l1_idx]->l2[l2_idx]->l3[l3_idx] = NULL;
+}
+
 static void *
 next(const struct port_array *pa, unsigned int *idxp)
 {