From 347cab1a762ff8542016f574c5eb32f0c4588ea2 Mon Sep 17 00:00:00 2001 From: Mitsyanko Igor Date: Mon, 13 Aug 2012 11:04:06 +0100 Subject: [PATCH] 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 Signed-off-by: Peter Maydell --- hw/sd.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/hw/sd.c b/hw/sd.c index 575b509..e24d04a 100644 --- a/hw/sd.c +++ b/hw/sd.c @@ -539,7 +539,7 @@ static void sd_function_switch(SDState *sd, uint32_t arg) sd->data[66] = crc & 0xff; } -static inline int sd_wp_addr(SDState *sd, uint32_t addr) +static inline int sd_wp_addr(SDState *sd, uint64_t addr) { return test_bit(addr >> (HWBLOCK_SHIFT + SECTOR_SHIFT + WPGROUP_SHIFT), sd->wp_groups); -- 2.7.4