From dd2c6d997c51e49f5a829f2e37f1122c14fbd4b5 Mon Sep 17 00:00:00 2001 From: "Peter A. Bigot" Date: Tue, 12 Jun 2012 05:48:08 -0500 Subject: [PATCH] Avoid truncating breakpoint address Use of uint16_t caused the stored breakpoint address to be wrong. However, breakpoints above 64 kiB don't seem to work even with this, so there may also be a FET issue. --- drivers/device.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/drivers/device.c b/drivers/device.c index 3fdb5ad..57cec72 100644 --- a/drivers/device.c +++ b/drivers/device.c @@ -20,7 +20,7 @@ device_t device_default; -static int addbrk(device_t dev, uint16_t addr, device_bptype_t type) +static int addbrk(device_t dev, address_t addr, device_bptype_t type) { int i; int which = -1; @@ -48,7 +48,7 @@ static int addbrk(device_t dev, uint16_t addr, device_bptype_t type) return which; } -static void delbrk(device_t dev, uint16_t addr, device_bptype_t type) +static void delbrk(device_t dev, address_t addr, device_bptype_t type) { int i;