On Feb 14 2022, Heinrich Schuchardt wrote: set_boot_hartid() implies that the caller can change the boot hart ID. As this is not a case this name obviously would be a misnomer. initialize_boot_hartid would fit better.
set_boot_hartid() implies that the caller can change the boot hart ID. As this is not a case this name obviously would be a misnomer.