static const char *addr2str(target_phys_addr_t addr)

{

    return nr2str(ehci_mmio_names, ARRAY_SIZE(ehci_mmio_names), addr);

}

static const char *addr2str(target_phys_addr_t addr)

{

    return nr2str(ehci_mmio_names, ARRAY_SIZE(ehci_mmio_names), addr);

}

    return nr2str(ehci_mmio_names, ARRAY_SIZE(ehci_mmio_names), addr);
static const char *FUNC_0(target_phys_addr_t VAR_0)

{

    return nr2str(ehci_mmio_names, ARRAY_SIZE(ehci_mmio_names), VAR_0);

}

static const char *FUNC_0(target_phys_addr_t VAR_0)
{ return nr2str(ehci_mmio_names, ARRAY_SIZE(ehci_mmio_names), VAR_0); }