From 297fb5a90fde5cf9094513b0aef9c5de5810fe79 Mon Sep 17 00:00:00 2001
From: Flavio Ceolin <flavio.ceolin@intel.com>
Date: Tue, 22 Jun 2021 17:55:41 -0700
Subject: [PATCH] drivers: ps2: Fix wrong cast

ps2_read() syscall was casting the value to uint32_t *

Signed-off-by: Flavio Ceolin <flavio.ceolin@intel.com>
---
 drivers/ps2/ps2_handlers.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/drivers/ps2/ps2_handlers.c b/drivers/ps2/ps2_handlers.c
index 414e14f315d..5d85f9a563f 100644
--- a/drivers/ps2/ps2_handlers.c
+++ b/drivers/ps2/ps2_handlers.c
@@ -28,7 +28,7 @@ static inline int z_vrfy_ps2_read(const struct device *dev, uint8_t *value)
 {
 	Z_OOPS(Z_SYSCALL_DRIVER_PS2(dev, read));
 	Z_OOPS(Z_SYSCALL_MEMORY_WRITE(value, sizeof(uint8_t)));
-	return z_impl_ps2_read(dev, (uint32_t *)value);
+	return z_impl_ps2_read(dev, value);
 }
 #include <syscalls/ps2_read_mrsh.c>