Pointers are not the same shape as sizes on CHERI architectures. Cast
to void * and print with %p instead.
Obtained from: CheriBSD
Differential D47342
locks: Use %p to print uintptr_t values jhb on Wed, Oct 30, 6:23 PM. Authored by Tags None Referenced Files
Details
Diff Detail
Event Timeline |