This patch switches all use of the S64 typedef to use the kernel's s64 type
instead.
Signed-off-by: Benjamin Romer <benjamin.romer@unisys.com>
Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>
 #include <syslog.h>
 #endif
 
-#define S64 int64_t
-
 #ifdef __KERNEL__
 
 #ifdef CONFIG_X86_32
 
        return result;
 }
 
-static inline S64 Issue_VMCALL_QUERY_GUEST_VIRTUAL_TIME_OFFSET(void)
+static inline s64 Issue_VMCALL_QUERY_GUEST_VIRTUAL_TIME_OFFSET(void)
 {
        u64 result = VMCALL_SUCCESS;
        u64 physaddr = 0;
        return result;
 }
 
-static inline S64 Issue_VMCALL_MEASUREMENT_DO_NOTHING(void)
+static inline s64 Issue_VMCALL_MEASUREMENT_DO_NOTHING(void)
 {
        u64 result = VMCALL_SUCCESS;
        u64 physaddr = 0;
 
 #endif
 {
        int rc = SUCCESS;
-       S64 adjustment;
-       S64 vrtc_offset;
+       s64 adjustment;
+       s64 vrtc_offset;
        DBGINF("entered visorchipset_ioctl, cmd=%d", cmd);
        switch (cmd) {
        case VMCALL_QUERY_GUEST_VIRTUAL_TIME_OFFSET: