Closed jrtc27 closed 2 years ago
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
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 *
?