On 2/14/22 11:15, Andreas Schwab wrote: > 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. > Another misnomer.