Skip to content

Commit 450711b

Browse files
brettferdosinwf-msr
authored andcommitted
cheribsdtest: fix hybrid cheribsdtest_vm_capdirty
Previously pg0 was an integer pointer when built hybrid, which caused errors.
1 parent 363b71a commit 450711b

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

bin/cheribsdtest/cheribsdtest_vm.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -674,7 +674,7 @@ CHERIBSDTEST(cheribsdtest_vm_capdirty, "verify capdirty marking and mincore")
674674
* Write a capability to page 1 and check that it is MODIFIED and
675675
* CAPSTORE regardless of vm.capstore_on_alloc.
676676
*/
677-
*pg1 = (void * __capability)pg0;
677+
*pg1 = (__cheri_tocap void * __capability)pg0;
678678

679679
CHERIBSDTEST_CHECK_SYSCALL(mincore(pg0, sz, &mcv[0]));
680680
CHERIBSDTEST_VERIFY2(

0 commit comments

Comments
 (0)