portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Align location of BOOT_BSS section attribute

Browse source 
Signed-off-by: Axel Heider <axelheider@gmx.de>
This commit is contained in:
Axel Heider 2021-05-14 01:50:29 +02:00 committed by Kent McLeod
parent 2ff49e9bd8
commit e6bb190034
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
src/kernel/boot.c
View file

@ -18,10 +18,10 @@
#include <util.h>
/* (node-local) state accessed only during bootstrapping */
ndks_boot_t ndks_boot BOOT_BSS;
BOOT_BSS ndks_boot_t ndks_boot;
rootserver_mem_t rootserver BOOT_BSS;
static region_t rootserver_mem BOOT_BSS;
BOOT_BSS rootserver_mem_t rootserver;
BOOT_BSS static region_t rootserver_mem;
BOOT_CODE static void merge_regions(void)
{
@ -698,7 +698,7 @@ static inline pptr_t ceiling_kernel_window(pptr_t p)
/* we can't declare arrays on the stack, so this is space for
* the function below to use. */
static BOOT_BSS region_t avail_reg[MAX_NUM_FREEMEM_REG];
BOOT_BSS static region_t avail_reg[MAX_NUM_FREEMEM_REG];
/**
* Dynamically initialise the available memory on the platform.
* A region represents an area of memory.