RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

boot: use word_t instead of paddr_t in init_kernel

Browse Source 
Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
This commit is contained in:
Ivan Velickovic
2025-10-21 13:11:45 +11:00
parent eb8f78ae06
commit 08871fea6f
4 changed files with 8 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
include/arch/arm/arch/kernel/boot.h
View File

@@ -18,8 +18,8 @@ void init_kernel(
sword_t pv_offset,
vptr_t v_entry,
paddr_t dtb_addr_p,
paddr_t dtb_size,
word_t dtb_size,
paddr_t extra_device_addr_p,
paddr_t extra_device_size
word_t extra_device_size
);

4
include/arch/riscv/arch/kernel/boot.h
View File

@@ -20,9 +20,9 @@ void init_kernel(
sword_t pv_offset,
vptr_t v_entry,
paddr_t dtb_addr_p,
paddr_t dtb_size,
word_t dtb_size,
paddr_t extra_device_addr_p,
paddr_t extra_device_size
word_t extra_device_size
#ifdef ENABLE_SMP_SUPPORT
,
word_t hart_id,

4
src/arch/arm/kernel/boot.c
View File

@@ -656,9 +656,9 @@ BOOT_CODE VISIBLE void init_kernel(
sword_t pv_offset,
vptr_t v_entry,
paddr_t dtb_addr_p,
paddr_t dtb_size,
word_t dtb_size,
paddr_t extra_device_addr_p,
paddr_t extra_device_size
word_t extra_device_size
)
{
bool_t result;

4
src/arch/riscv/kernel/boot.c
View File

@@ -478,9 +478,9 @@ BOOT_CODE VISIBLE void init_kernel(
sword_t pv_offset,
vptr_t v_entry,
paddr_t dtb_addr_p,
paddr_t dtb_size,
word_t dtb_size,
paddr_t extra_device_addr_p,
paddr_t extra_device_size
word_t extra_device_size
#ifdef ENABLE_SMP_SUPPORT
,
word_t hart_id,