From 5652d7c0c6a8db05699f2b4334e4615e1ba22127 Mon Sep 17 00:00:00 2001 From: Patrick Williams Date: Tue, 16 Jul 2013 15:29:15 -0500 Subject: Initial Hostboot Runtime image support. RTC: 76675 Change-Id: Ibd21cf5b555e6dcee182a2f1a292b47d4f384ba0 Reviewed-on: http://gfw160.austin.ibm.com:8080/gerrit/6127 Tested-by: Jenkins Server Reviewed-by: A. Patrick Williams III --- src/kernel/basesegment.C | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/kernel/basesegment.C') diff --git a/src/kernel/basesegment.C b/src/kernel/basesegment.C index e9f966433..c9843beda 100644 --- a/src/kernel/basesegment.C +++ b/src/kernel/basesegment.C @@ -73,7 +73,7 @@ void BaseSegment::_init() if (i == 0) continue; // Set pages in kernel text section to be read-only / executable. - if (((uint64_t)&data_load_address) > i) + if ((ALIGN_PAGE_DOWN((uint64_t)&data_load_address)) > i) { // Set the Text section to Excutable (implies read) iv_block->setPhysicalPage(i, i, EXECUTABLE); -- cgit v1.2.1