Symbol: WITNESS_ATOD
sys/kern/subr_witness.c
1677
if (!((WITNESS_ATOD(r1) == r2 && WITNESS_DTOA(r2) == r1) ||
sys/kern/subr_witness.c
1678
(WITNESS_DTOA(r1) == r2 && WITNESS_ATOD(r2) == r1))) {