[PATCH] builtin: teach sparse about __builtin_ia32_pause()

[Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx>]

This builtin is used by Open vSwitch, so teach Sparse about it.

Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx>
---
 target-x86.c | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/target-x86.c b/target-x86.c
index b7ff8f2ab4ed..9d82869a27b8 100644
--- a/target-x86.c
+++ b/target-x86.c
@@ -1,6 +1,7 @@
 #include "symbol.h"
 #include "target.h"
 #include "machine.h"
+#include "builtin.h"
 
 
 static void predefine_i386(const struct target *self)
@@ -39,6 +40,11 @@ static void init_x86_common(const struct target *target)
 	}
 }
 
+static const struct builtin_fn builtins_x86_common[] = {
+	{ "__builtin_ia32_pause", &void_ctype, 0, },
+	{ }
+};
+
 
 static void init_i386(const struct target *target)
 {
@@ -64,6 +70,7 @@ const struct target target_i386 = {
 
 	.init = init_i386,
 	.predefine = predefine_i386,
+	.builtins = builtins_x86_common,
 };
 
 
@@ -159,4 +166,5 @@ const struct target target_x86_64 = {
 
 	.init = init_x86_64,
 	.predefine = predefine_x86_64,
+	.builtins = builtins_x86_common,
 };
-- 
2.28.0