lib: sbi_ipi: Make .ipi_clear always target the current hart

All existing users of this operation target the current hart, and it
seems unlikely that a future user will need to clear the pending IPI
status of a remote hart. Simplify the logic by changing .ipi_clear (and
its wrapper sbi_ipi_raw_clear()) to always operate on the current hart.

This incidentally fixes a bug introduced in commit 78c667b6fc ("lib:
sbi: Prefer hartindex over hartid in IPI framework"), which changed the
.ipi_clear parameter from a hartid to a hart index, but failed to update
the warm_init functions to match.

Fixes: 78c667b6fc ("lib: sbi: Prefer hartindex over hartid in IPI framework")
Signed-off-by: Samuel Holland <samuel.holland@sifive.com>
Reviewed-by: Anup Patel <anup@brainfault.org>
This commit is contained in:
Samuel Holland
2024-10-25 11:59:46 -07:00
committed by Anup Patel
parent db8f03e512
commit be9752a071
5 changed files with 14 additions and 20 deletions

View File

@@ -26,8 +26,8 @@ struct sbi_ipi_device {
/** Send IPI to a target HART index */ /** Send IPI to a target HART index */
void (*ipi_send)(u32 hart_index); void (*ipi_send)(u32 hart_index);
/** Clear IPI for a target HART index */ /** Clear IPI for the current hart */
void (*ipi_clear)(u32 hart_index); void (*ipi_clear)(void);
}; };
enum sbi_ipi_update_type { enum sbi_ipi_update_type {
@@ -87,7 +87,7 @@ void sbi_ipi_process(void);
int sbi_ipi_raw_send(u32 hartindex); int sbi_ipi_raw_send(u32 hartindex);
void sbi_ipi_raw_clear(u32 hartindex); void sbi_ipi_raw_clear(void);
const struct sbi_ipi_device *sbi_ipi_get_device(void); const struct sbi_ipi_device *sbi_ipi_get_device(void);

View File

@@ -479,7 +479,7 @@ static void __noreturn init_warmboot(struct sbi_scratch *scratch, u32 hartid)
if (hstate == SBI_HSM_STATE_SUSPENDED) { if (hstate == SBI_HSM_STATE_SUSPENDED) {
init_warm_resume(scratch, hartid); init_warm_resume(scratch, hartid);
} else { } else {
sbi_ipi_raw_clear(sbi_hartid_to_hartindex(hartid)); sbi_ipi_raw_clear();
init_warm_startup(scratch, hartid); init_warm_startup(scratch, hartid);
} }
} }

View File

@@ -237,10 +237,9 @@ void sbi_ipi_process(void)
struct sbi_scratch *scratch = sbi_scratch_thishart_ptr(); struct sbi_scratch *scratch = sbi_scratch_thishart_ptr();
struct sbi_ipi_data *ipi_data = struct sbi_ipi_data *ipi_data =
sbi_scratch_offset_ptr(scratch, ipi_data_off); sbi_scratch_offset_ptr(scratch, ipi_data_off);
u32 hartindex = current_hartindex();
sbi_pmu_ctr_incr_fw(SBI_PMU_FW_IPI_RECVD); sbi_pmu_ctr_incr_fw(SBI_PMU_FW_IPI_RECVD);
sbi_ipi_raw_clear(hartindex); sbi_ipi_raw_clear();
ipi_type = atomic_raw_xchg_ulong(&ipi_data->ipi_type, 0); ipi_type = atomic_raw_xchg_ulong(&ipi_data->ipi_type, 0);
ipi_event = 0; ipi_event = 0;
@@ -275,10 +274,10 @@ int sbi_ipi_raw_send(u32 hartindex)
return 0; return 0;
} }
void sbi_ipi_raw_clear(u32 hartindex) void sbi_ipi_raw_clear(void)
{ {
if (ipi_dev && ipi_dev->ipi_clear) if (ipi_dev && ipi_dev->ipi_clear)
ipi_dev->ipi_clear(hartindex); ipi_dev->ipi_clear();
/* /*
* Ensure that memory or MMIO writes after this * Ensure that memory or MMIO writes after this

View File

@@ -45,24 +45,19 @@ static void mswi_ipi_send(u32 hart_index)
mswi->first_hartid]); mswi->first_hartid]);
} }
static void mswi_ipi_clear(u32 hart_index) static void mswi_ipi_clear(void)
{ {
u32 *msip; u32 *msip;
struct sbi_scratch *scratch; struct sbi_scratch *scratch = sbi_scratch_thishart_ptr();
struct aclint_mswi_data *mswi; struct aclint_mswi_data *mswi;
scratch = sbi_hartindex_to_scratch(hart_index);
if (!scratch)
return;
mswi = mswi_get_hart_data_ptr(scratch); mswi = mswi_get_hart_data_ptr(scratch);
if (!mswi) if (!mswi)
return; return;
/* Clear ACLINT IPI */ /* Clear ACLINT IPI */
msip = (void *)mswi->addr; msip = (void *)mswi->addr;
writel_relaxed(0, &msip[sbi_hartindex_to_hartid(hart_index) - writel_relaxed(0, &msip[current_hartid() - mswi->first_hartid]);
mswi->first_hartid]);
} }
static struct sbi_ipi_device aclint_mswi = { static struct sbi_ipi_device aclint_mswi = {
@@ -74,7 +69,7 @@ static struct sbi_ipi_device aclint_mswi = {
int aclint_mswi_warm_init(void) int aclint_mswi_warm_init(void)
{ {
/* Clear IPI for current HART */ /* Clear IPI for current HART */
mswi_ipi_clear(current_hartindex()); mswi_ipi_clear();
return 0; return 0;
} }

View File

@@ -41,9 +41,9 @@ static void plicsw_ipi_send(u32 hart_index)
writel_relaxed(BIT(pending_bit), (void *)pending_reg); writel_relaxed(BIT(pending_bit), (void *)pending_reg);
} }
static void plicsw_ipi_clear(u32 hart_index) static void plicsw_ipi_clear(void)
{ {
u32 target_hart = sbi_hartindex_to_hartid(hart_index); u32 target_hart = current_hartid();
ulong reg = plicsw.addr + PLICSW_CONTEXT_BASE + PLICSW_CONTEXT_CLAIM + ulong reg = plicsw.addr + PLICSW_CONTEXT_BASE + PLICSW_CONTEXT_CLAIM +
PLICSW_CONTEXT_STRIDE * target_hart; PLICSW_CONTEXT_STRIDE * target_hart;
@@ -68,7 +68,7 @@ static struct sbi_ipi_device plicsw_ipi = {
int plicsw_warm_ipi_init(void) int plicsw_warm_ipi_init(void)
{ {
/* Clear PLICSW IPI */ /* Clear PLICSW IPI */
plicsw_ipi_clear(current_hartindex()); plicsw_ipi_clear();
return 0; return 0;
} }