Test case: sys/kern/kern_copyin:kern_copyin

Metadata

Standard output

Test case did not write anything to stdout.

Standard error

*** Check failed: /usr/home/br/dev/freebsd-riscv/tests/sys/kern/kern_copyin.c:77: copyin_checker(VM_MAXUSER_ADDRESS - 10, 9) == 0 not met
*** Check failed: /usr/home/br/dev/freebsd-riscv/tests/sys/kern/kern_copyin.c:78: copyin_checker(VM_MAXUSER_ADDRESS - 10, 10) == 0 not met
*** Check failed: /usr/home/br/dev/freebsd-riscv/tests/sys/kern/kern_copyin.c:80: copyin_checker(VM_MAXUSER_ADDRESS - 1, 1) == 0 not met