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

boot: remove unnecessary cast

Browse source 
Signed-off-by: Axel Heider <axelheider@gmx.de>
This commit is contained in:
Axel Heider 2021-09-27 12:51:05 +02:00 committed by Matthew Brecknell
parent f507075db8
commit 67b8b45fde
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -207,8 +207,8 @@ static BOOT_CODE bool_t try_init_kernel(
/* convert from physical addresses to userland vptrs */
v_region_t ui_v_reg = {
.start = (word_t)(ui_p_reg_start - pv_offset),
.end = (word_t)(ui_p_reg_end - pv_offset)
.start = ui_p_reg_start - pv_offset,
.end = ui_p_reg_end - pv_offset
};
ipcbuf_vptr = ui_v_reg.end;