Skip to content

Conversation

@markjdb
Copy link
Contributor

@markjdb markjdb commented Oct 16, 2025

No description provided.

@jrtc27
Copy link
Member

jrtc27 commented Oct 16, 2025

Can you please fix linuxkpi while you're at it? As per usual, drmkpi is a copy of that code rather than sharing.

@markjdb
Copy link
Contributor Author

markjdb commented Oct 16, 2025

Can you please fix linuxkpi while you're at it? As per usual, drmkpi is a copy of that code rather than sharing.

Yeah. I was about to submit the patch upstream first, but I guess we might as well fix it here instead of waiting for a backport.

Don't use __LP64__ to decide the value, as it gives the wrong result on
CHERI platforms.  Just define it in terms of __SIZEOF_LONG__.  Make a
similar adjustment for BITS_PER_LONG_LONG while here.

Reviewed by:	bz, dumbbell, emaste
MFC after:	1 week
Sponsored by:	CHERI Research Centre (EPSRC grant UKRI3001)
Differential Revision:	https://reviews.freebsd.org/D53135

(cherry picked from commit 3e9ad70a30d93fc8bc759af7ec57aaa7e0b2d4f6)
@markjdb markjdb merged commit f15a0cb into CTSRD-CHERI:dev Oct 22, 2025
29 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants