From bcdebf0e9decb8e057799ae5d93ba60ad9c78338 Mon Sep 17 00:00:00 2001
From: Adam Dunkels <adam@thingsquare.com>
Date: Sun, 28 Jul 2013 16:25:23 +0200
Subject: [PATCH] Filter out symbols defined by the C implementation

---
 tools/mknmlist | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/mknmlist b/tools/mknmlist
index 3bd5615c5..c47a83dc5 100644
--- a/tools/mknmlist
+++ b/tools/mknmlist
@@ -23,7 +23,7 @@ BEGIN {
  builtin[""] = 	"";
 }
 
-/^[0123456789abcdef]+ [ABCDGRSTUVW] / {
+/^[0123456789abcdef]+ [ABCDGRSTUVW] [^__]/ {
   if ($3 != "symbols" && $3 != "symbols_nelts") {
     name[nname] = $3;
     nname++;