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.