From 08a79ed0fe770d11a06c7b661f9ee542a7d8d85b Mon Sep 17 00:00:00 2001
From: Fabien Le Mentec <texane@gmail.com>
Date: Sun, 5 Jun 2011 12:35:09 -0500
Subject: [PATCH] [fix] make_memory_map should receive flash_size as uint32_t

---
 src/gdb-server.c | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/gdb-server.c b/src/gdb-server.c
index cc2b527..d44f20f 100644
--- a/src/gdb-server.c
+++ b/src/gdb-server.c
@@ -46,7 +46,7 @@ struct chip_params {
 };
 
 int serve(struct stlink* sl, int port);
-static char* make_memory_map(const struct chip_params *params, uint32_t flash_size);
+char* make_memory_map(const struct chip_params *params, uint32_t flash_size);
 
 int main(int argc, char** argv) {
 	if(argc != 3) {
@@ -121,8 +121,7 @@ static const char* const memory_map_template =
   "  <memory type=\"rom\" start=\"0x1ffff800\" length=\"0x8\"/>"        // option byte area
   "</memory-map>";
 
-static char*
-make_memory_map(const struct chip_params *params, uint32_t flash_size) {
+char* make_memory_map(const struct chip_params *params, uint32_t flash_size) {
 	/* This will be freed in serve() */
 	char* map = malloc(4096);
 	map[0] = '\0';
-- 
2.30.2