The i8042 is clearly an 8-bit era device, so there is little room for
32-bit registers.
Clean up the data types used.

Signed-off-by: Andre Przywara <[email protected]>
Reviewed-by: Alexandru Elisei <[email protected]>
---
 hw/i8042.c | 26 +++++++++++++-------------
 1 file changed, 13 insertions(+), 13 deletions(-)

diff --git a/hw/i8042.c b/hw/i8042.c
index 37a99a2d..7d1f9772 100644
--- a/hw/i8042.c
+++ b/hw/i8042.c
@@ -64,11 +64,11 @@
 struct kbd_state {
        struct kvm              *kvm;
 
-       char                    kq[QUEUE_SIZE]; /* Keyboard queue */
+       u8                      kq[QUEUE_SIZE]; /* Keyboard queue */
        int                     kread, kwrite;  /* Indexes into the queue */
        int                     kcount;         /* number of elements in queue 
*/
 
-       char                    mq[QUEUE_SIZE];
+       u8                      mq[QUEUE_SIZE];
        int                     mread, mwrite;
        int                     mcount;
 
@@ -82,7 +82,7 @@ struct kbd_state {
         * Some commands (on port 0x64) have arguments;
         * we store the command here while we wait for the argument
         */
-       u32                     write_cmd;
+       u8                      write_cmd;
 };
 
 static struct kbd_state                state;
@@ -173,9 +173,9 @@ static void kbd_write_command(struct kvm *kvm, u8 val)
 /*
  * Called when the OS reads from port 0x60 (PS/2 data)
  */
-static u32 kbd_read_data(void)
+static u8 kbd_read_data(void)
 {
-       u32 ret;
+       u8 ret;
        int i;
 
        if (state.kcount != 0) {
@@ -202,9 +202,9 @@ static u32 kbd_read_data(void)
 /*
  * Called when the OS read from port 0x64, the command port
  */
-static u32 kbd_read_status(void)
+static u8 kbd_read_status(void)
 {
-       return (u32)state.status;
+       return state.status;
 }
 
 /*
@@ -212,7 +212,7 @@ static u32 kbd_read_status(void)
  * Things written here are generally arguments to commands previously
  * written to port 0x64 and stored in state.write_cmd
  */
-static void kbd_write_data(u32 val)
+static void kbd_write_data(u8 val)
 {
        switch (state.write_cmd) {
        case I8042_CMD_CTL_WCTR:
@@ -266,8 +266,8 @@ static void kbd_write_data(u32 val)
                        break;
                default:
                        break;
-       }
-       break;
+               }
+               break;
        case 0:
                /* Just send the ID */
                kbd_queue(RESPONSE_ACK);
@@ -304,8 +304,8 @@ static bool kbd_in(struct ioport *ioport, struct kvm_cpu 
*vcpu, u16 port, void *
                break;
        }
        case I8042_DATA_REG: {
-               u32 value = kbd_read_data();
-               ioport__write32(data, value);
+               u8 value = kbd_read_data();
+               ioport__write8(data, value);
                break;
        }
        case I8042_PORT_B_REG: {
@@ -328,7 +328,7 @@ static bool kbd_out(struct ioport *ioport, struct kvm_cpu 
*vcpu, u16 port, void
                break;
        }
        case I8042_DATA_REG: {
-               u32 value = ioport__read32(data);
+               u8 value = ioport__read8(data);
                kbd_write_data(value);
                break;
        }
-- 
2.17.5

_______________________________________________
kvmarm mailing list
[email protected]
https://lists.cs.columbia.edu/mailman/listinfo/kvmarm

Reply via email to