Avoid to use the SDCard hardcoded 0x4567 RCA in npcm7xx
SDHCI qtest, so we can generate one in the card model.

Philippe Mathieu-Daudé (4):
  hw/sd/npcm7xx_sdhci: Use TYPE_SYSBUS_SDHCI definition
  hw/sd/sdhci: Log non-sequencial access as GUEST_ERROR
  tests/qtest/npcm7xx_sdhci: Access the card using its published address
  hw/sd/sdcard: Generate random RCA value

 tests/qtest/libqos/sdhci-cmd.h   |  2 ++
 hw/sd/npcm7xx_sdhci.c            |  3 ++-
 hw/sd/sd.c                       | 11 ++++++++---
 hw/sd/sdhci.c                    |  5 +++--
 tests/qtest/npcm7xx_sdhci-test.c |  8 ++++++--
 hw/sd/trace-events               |  1 +
 6 files changed, 22 insertions(+), 8 deletions(-)

-- 
2.41.0

On 2/7/24 16:08, Philippe Mathieu-Daudé wrote:

> Philippe Mathieu-Daudé (4):
>    hw/sd/npcm7xx_sdhci: Use TYPE_SYSBUS_SDHCI definition
>    hw/sd/sdhci: Log non-sequencial access as GUEST_ERROR
>    tests/qtest/npcm7xx_sdhci: Access the card using its published address
>    hw/sd/sdcard: Generate random RCA value

Series queued, thanks.