[Qemu-devel] Use of TARGET_FMT_plx in hw/tpm/trace-events

[Markus Armbruster]

Consider hw/tpm/trace-events

    # tpm_crb.c
    tpm_crb_mmio_read(uint64_t addr, unsigned size, uint32_t val) "CRB read 0x" 
TARGET_FMT_plx " len:%u val: 0x%" PRIx32
    tpm_crb_mmio_write(uint64_t addr, unsigned size, uint32_t val) "CRB write 
0x" TARGET_FMT_plx " len:%u val: 0x%" PRIx32

Format is TARGET_FMT_plx formats a hwaddr, but the parameter type is
uint64_t.  They happen to be the same.  Is this kosher?