From 29a67bb39acd8195db6583062d22f0a3a2eb7f3d Mon Sep 17 00:00:00 2001
From: Rico Tzschichholz <ricotz@ubuntu.com>
Date: Sun, 14 Mar 2021 13:16:58 +0100
Subject: [PATCH] linux: Provide Input.Event.input_event_sec/input_event_usec
 fields

Mark Input.Event.time as deprecated

See https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit?id=152194fe9c3f

Fixes https://gitlab.gnome.org/GNOME/vala/issues/1152
---
 vapi/linux.vapi | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/vapi/linux.vapi b/vapi/linux.vapi
index 25b5188f3..2984dfa33 100644
--- a/vapi/linux.vapi
+++ b/vapi/linux.vapi
@@ -1644,7 +1644,10 @@ namespace Linux {
 
         [CCode (cname = "struct input_event", has_type_id = false, cheader_filename = "linux/input.h")]
         public struct Event {
+            [Version (deprecated = true, replacement = "Event.input_event_sec and Event.input_event_usec")]
             public Posix.timeval time;
+            public time_t input_event_sec;
+            public long input_event_usec;
             public uint16 type;
             public uint16 code;
             public int32 value;
-- 
2.47.2