riscv-non-isa/riscv-uefi

mhartid is MXLEN bits

jrtc27 opened this issue · 2 comments

jrtc27 commented

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 *?

vlsunil commented

Thanks @jrtc27 !. Yes, will change to native. Good catch!

vlsunil commented

changed to UINTN in v0.2