VMM: Converted virtio headers to rely on types from stdint
[akaros.git] / user / vmm / include / vmm / virtio_console.h
index 088cfc4..14cbdfc 100644 (file)
@@ -30,6 +30,7 @@
  * Copyright (C) Amit Shah <amit.shah@redhat.com>, 2009, 2010, 2011
  */
 #pragma once
+#include <stdint.h>
 #include <vmm/virtio_ids.h>
 #include <vmm/virtio_config.h>
 
 
 struct virtio_console_config {
        /* colums of the screens */
-       __u16 cols;
+       uint16_t cols;
        /* rows of the screens */
-       __u16 rows;
+       uint16_t rows;
        /* max. number of ports this device can hold */
-       __u32 max_nr_ports;
+       uint32_t max_nr_ports;
        /* emergency write register */
-       __u32 emerg_wr;
+       uint32_t emerg_wr;
 } __attribute__((packed));
 
 /*
@@ -56,9 +57,9 @@ struct virtio_console_config {
  * particular port.
  */
 struct virtio_console_control {
-       __virtio32 id;          /* Port number */
-       __virtio16 event;       /* The kind of control event (see below) */
-       __virtio16 value;       /* Extra information for the key */
+       uint32_t id;            /* Port number */
+       uint16_t event; /* The kind of control event (see below) */
+       uint16_t value; /* Extra information for the key */
 };
 
 /* Some events for control messages */
@@ -70,6 +71,3 @@ struct virtio_console_control {
 #define VIRTIO_CONSOLE_RESIZE          5
 #define VIRTIO_CONSOLE_PORT_OPEN       6
 #define VIRTIO_CONSOLE_PORT_NAME       7
-
-
-