Re: [PATCH] riscv/efi_stub: Fix get_boot_hartid_from_fdt() return value
From: Andreas Schwab
Date: Mon Feb 14 2022 - 05:52:14 EST
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.
--
Andreas Schwab, schwab@xxxxxxxxxxxxxx
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1
"And now for something completely different."