|
@@ -39,14 +39,7 @@
|
|
|
#include "hw/acpi/acpi_dev_interface.h"
|
|
|
#include "hw/xen/xen.h"
|
|
|
#include "qom/cpu.h"
|
|
|
-
|
|
|
-//#define DEBUG
|
|
|
-
|
|
|
-#ifdef DEBUG
|
|
|
-# define PIIX4_DPRINTF(format, ...) printf(format, ## __VA_ARGS__)
|
|
|
-#else
|
|
|
-# define PIIX4_DPRINTF(format, ...) do { } while (0)
|
|
|
-#endif
|
|
|
+#include "trace.h"
|
|
|
|
|
|
#define GPE_BASE 0xafe0
|
|
|
#define GPE_LEN 4
|
|
@@ -583,7 +576,7 @@ static uint64_t gpe_readb(void *opaque, hwaddr addr, unsigned width)
|
|
|
PIIX4PMState *s = opaque;
|
|
|
uint32_t val = acpi_gpe_ioport_readb(&s->ar, addr);
|
|
|
|
|
|
- PIIX4_DPRINTF("gpe read %" HWADDR_PRIx " == %" PRIu32 "\n", addr, val);
|
|
|
+ trace_piix4_gpe_readb(addr, width, val);
|
|
|
return val;
|
|
|
}
|
|
|
|
|
@@ -592,10 +585,9 @@ static void gpe_writeb(void *opaque, hwaddr addr, uint64_t val,
|
|
|
{
|
|
|
PIIX4PMState *s = opaque;
|
|
|
|
|
|
+ trace_piix4_gpe_writeb(addr, width, val);
|
|
|
acpi_gpe_ioport_writeb(&s->ar, addr, val);
|
|
|
acpi_update_sci(&s->ar, s->irq);
|
|
|
-
|
|
|
- PIIX4_DPRINTF("gpe write %" HWADDR_PRIx " <== %" PRIu64 "\n", addr, val);
|
|
|
}
|
|
|
|
|
|
static const MemoryRegionOps piix4_gpe_ops = {
|