efi: Use typed function pointers for the runtime services table

Instead of using void pointers, and casting them to correctly typed
function pointers upon use, declare the runtime services pointers
as function pointers using their respective prototypes, for which
typedefs are already available.

Signed-off-by: Ard Biesheuvel <ard.biesheuvel@linaro.org>
Reviewed-by: Matt Fleming <matt@codeblueprint.co.uk>
Cc: Linus Torvalds <torvalds@linux-foundation.org>
Cc: Peter Zijlstra <peterz@infradead.org>
Cc: Thomas Gleixner <tglx@linutronix.de>
Cc: linux-efi@vger.kernel.org
Link: http://lkml.kernel.org/r/1485868902-20401-8-git-send-email-ard.biesheuvel@linaro.org
Signed-off-by: Ingo Molnar <mingo@kernel.org>

1 files changed, 18 insertions, 18 deletions

diff --git a/include/linux/efi.h b/include/linux/efi.h
index 5f632bf9969d..85e9fdaa8d07 100644
--- a/include/linux/efi.h
+++ b/include/linux/efi.h
@@ -509,24 +509,6 @@ typedef struct {
         u64 query_variable_info;
 } efi_runtime_services_64_t;
 
-typedef struct {
-        efi_table_hdr_t hdr;
-        void *get_time;
-        void *set_time;
-        void *get_wakeup_time;
-        void *set_wakeup_time;
-        void *set_virtual_address_map;
-        void *convert_pointer;
-        void *get_variable;
-        void *get_next_variable;
-        void *set_variable;
-        void *get_next_high_mono_count;
-        void *reset_system;
-        void *update_capsule;
-        void *query_capsule_caps;
-        void *query_variable_info;
-} efi_runtime_services_t;
-
 typedef efi_status_t efi_get_time_t (efi_time_t *tm, efi_time_cap_t *tc);
 typedef efi_status_t efi_set_time_t (efi_time_t *tm);
 typedef efi_status_t efi_get_wakeup_time_t (efi_bool_t *enabled, efi_bool_t *pending,
@@ -561,6 +543,24 @@ typedef efi_status_t efi_query_variable_store_t(u32 attributes,
                                                 unsigned long size,
                                                 bool nonblocking);
 
+typedef struct {
+        efi_table_hdr_t                 hdr;
+        efi_get_time_t                  *get_time;
+        efi_set_time_t                  *set_time;
+        efi_get_wakeup_time_t           *get_wakeup_time;
+        efi_set_wakeup_time_t           *set_wakeup_time;
+        efi_set_virtual_address_map_t   *set_virtual_address_map;
+        void                            *convert_pointer;
+        efi_get_variable_t              *get_variable;
+        efi_get_next_variable_t         *get_next_variable;
+        efi_set_variable_t              *set_variable;
+        efi_get_next_high_mono_count_t  *get_next_high_mono_count;
+        efi_reset_system_t              *reset_system;
+        efi_update_capsule_t            *update_capsule;
+        efi_query_capsule_caps_t        *query_capsule_caps;
+        efi_query_variable_info_t       *query_variable_info;
+} efi_runtime_services_t;
+
 void efi_native_runtime_setup(void);
 
 /*