From fa880ec70a07f45048c7e3beec225634e8623de9 Mon Sep 17 00:00:00 2001
From: Michael Brown
Date: Thu, 25 Sep 2008 07:23:34 +0100
Subject: [arbel] Allocate sufficient space for firmware buffer

We were accidentally allocating only half the required amount of
memory (given the alignment method) for the firmware buffer, leading
to conflicts between the firmware buffer and gPXE code/data segments.
---
 src/drivers/infiniband/arbel.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/drivers/infiniband/arbel.c b/src/drivers/infiniband/arbel.c
index 2aced777..0c180833 100644
--- a/src/drivers/infiniband/arbel.c
+++ b/src/drivers/infiniband/arbel.c
@@ -1714,7 +1714,7 @@ static int arbel_start_firmware ( struct arbel *arbel ) {
 
 	/* Allocate firmware pages and map firmware area */
 	fw_size = ( fw_pages * 4096 );
-	arbel->firmware_area = umalloc ( fw_size );
+	arbel->firmware_area = umalloc ( fw_size * 2 );
 	if ( ! arbel->firmware_area ) {
 		rc = -ENOMEM;
 		goto err_alloc_fa;
-- 
cgit v1.2.3-55-g7522