Messages in this thread | | | From | Andreas Schwab <> | Subject | Re: [PATCH] riscv/efi_stub: Fix get_boot_hartid_from_fdt() return value | Date | Mon, 14 Feb 2022 12:09:05 +0100 |
| |
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."
| |