14 Feb
2022
14 Feb
'22
11:09 a.m.
On Feb 14 2022, Heinrich Schuchardt wrote:
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.
But the best fit so far.
--
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1
"And now for something completely different."