hw/sd.c: make sd_wp_addr() accept 64 bit address argument
authorMitsyanko Igor <i.mitsyanko@samsung.com>
Mon, 13 Aug 2012 10:04:06 +0000 (11:04 +0100)
committerPeter Maydell <peter.maydell@linaro.org>
Mon, 13 Aug 2012 10:04:06 +0000 (11:04 +0100)
commit347cab1a762ff8542016f574c5eb32f0c4588ea2
tree034047aa92d7b5bfc27cb16651a063d05335eee7
parenta9c0183059d6a4e4d940cd86ac0f9402b0655d24
hw/sd.c: make sd_wp_addr() accept 64 bit address argument

Currently sd_wp_addr() accepts 32 bit address arguments therefore implicitly
restricting SD card address range. Change address argument type to uint64_t.

Signed-off-by: Igor Mitsyanko <i.mitsyanko@samsung.com>
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
hw/sd.c