jrtc27 opened this issue 3 years ago · 2 comments
I know there are places where both Linux and FreeBSD assume hartids can fit in 32 bits, but since mhartid is an MXLEN-bit CSR shouldn't BootHartId be OUT UINTN *?
OUT UINTN *
Thanks @jrtc27 !. Yes, will change to native. Good catch!
changed to UINTN in v0.2