Imagelibrary/rtems
1
0
Fork 1
mirror of https://gitlab.rtems.org/rtems/rtos/rtems.git synced 2026-03-27 05:39:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

contrib/riscv/sbi: make 32-bit clean

Browse Source 
Updates #3337
This commit is contained in:
Gedare Bloom
2026-03-03 13:27:14 -07:00
committed by Kinsey Moore
parent 10cb664875
commit ea1d5dcd67
1 changed files with 18 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
contrib/bsps/riscv/sbi/sbi.c
View File

@@ -223,7 +223,11 @@ sbi_send_ipi(const u_long *hart_mask)
*hart_mask, 0); *hart_mask, 0);
MPASS(ret.error == SBI_SUCCESS); MPASS(ret.error == SBI_SUCCESS);
} else { } else {
#ifdef __rtems__
(void)SBI_CALL1(SBI_SEND_IPI, 0, (uintptr_t)hart_mask);
#else
(void)SBI_CALL1(SBI_SEND_IPI, 0, (uint64_t)hart_mask); (void)SBI_CALL1(SBI_SEND_IPI, 0, (uint64_t)hart_mask);
#endif /* __rtems__ */
} }
} }
@@ -238,7 +242,11 @@ sbi_remote_fence_i(const u_long *hart_mask)
*hart_mask, 0); *hart_mask, 0);
MPASS(ret.error == SBI_SUCCESS); MPASS(ret.error == SBI_SUCCESS);
} else { } else {
#ifdef __rtems__
(void)SBI_CALL1(SBI_REMOTE_FENCE_I, 0, (uintptr_t)hart_mask);
#else
(void)SBI_CALL1(SBI_REMOTE_FENCE_I, 0, (uint64_t)hart_mask); (void)SBI_CALL1(SBI_REMOTE_FENCE_I, 0, (uint64_t)hart_mask);
#endif /* __rtems__ */
} }
} }
@@ -253,8 +261,13 @@ sbi_remote_sfence_vma(const u_long *hart_mask, u_long start, u_long size)
*hart_mask, 0, start, size); *hart_mask, 0, start, size);
MPASS(ret.error == SBI_SUCCESS); MPASS(ret.error == SBI_SUCCESS);
} else { } else {
#ifdef __rtems__
(void)SBI_CALL3(SBI_REMOTE_SFENCE_VMA, 0, (uintptr_t)hart_mask,
start, size);
#else
(void)SBI_CALL3(SBI_REMOTE_SFENCE_VMA, 0, (uint64_t)hart_mask, (void)SBI_CALL3(SBI_REMOTE_SFENCE_VMA, 0, (uint64_t)hart_mask,
start, size); start, size);
#endif /* __rtems__ */
} }
} }
@@ -271,8 +284,13 @@ sbi_remote_sfence_vma_asid(const u_long *hart_mask, u_long start, u_long size,
size, asid); size, asid);
MPASS(ret.error == SBI_SUCCESS); MPASS(ret.error == SBI_SUCCESS);
} else { } else {
#ifdef __rtems__
(void)SBI_CALL4(SBI_REMOTE_SFENCE_VMA_ASID, 0,
(uintptr_t)hart_mask, start, size, asid);
#else
(void)SBI_CALL4(SBI_REMOTE_SFENCE_VMA_ASID, 0, (void)SBI_CALL4(SBI_REMOTE_SFENCE_VMA_ASID, 0,
(uint64_t)hart_mask, start, size, asid); (uint64_t)hart_mask, start, size, asid);
#endif /* __rtems__ */
} }
} }