5 #if defined (DEBUG_ACCEL)
6 # define DEBUG_PRINT(x) do { printf x ; } while (0)
8 # define DEBUG_PRINT(x)
11 #define PCI_VENDOR_ID_SAMSUNG 0x144d
12 #define PCI_DEVICE_ID_VIRTIO_OPENGL 0x1004
20 #define RUN_OPENGL 0x10
22 typedef struct AccelState {
25 int Accel_mmio_io_addr;
26 uint32_t function_number;
28 uint32_t target_ret_string;
30 uint32_t in_args_size;