cast TCB_GET() to void * to avoid -Wpointer-integer-compare warning
authorjsg <jsg@openbsd.org>
Fri, 23 Apr 2021 12:07:14 +0000 (12:07 +0000)
committerjsg <jsg@openbsd.org>
Fri, 23 Apr 2021 12:07:14 +0000 (12:07 +0000)
commite974eb3a020fbee90ff1e4e05135d23fd8a4885d
treef1a2d8b317b4413d6a33754160cf8f4c0c8e6f24
parent05c58b1ca33d9e5e16804b779e02573a84003b78
cast TCB_GET() to void * to avoid -Wpointer-integer-compare warning
when building kern_sig.c
ok mlarkin@
sys/arch/riscv64/include/tcb.h