- %s/CLINT/PLICSW
- replace '.' with a space
- add a space around * in plicsw_cold_ipi_init()
Signed-off-by: Bin Meng <bmeng.cn@gmail.com>
Reviewed-by: Anup Patel <anup.patel@wdc.com>
if (plicsw_ipi_hart_count <= target_hart)
return;
- /* Clear CLINT IPI */
+ /* Clear PLICSW IPI */
plicsw_claim();
plicsw_complete();
}
/* Setup source priority */
uint32_t *priority = (void *)base + PLICSW_PRIORITY_BASE;
- for (int i = 0; i < AE350_HART_COUNT*PLICSW_PENDING_PER_HART; i++)
+ for (int i = 0; i < AE350_HART_COUNT * PLICSW_PENDING_PER_HART; i++)
writel(1, &priority[i]);
- /* Setup target enable.*/
+ /* Setup target enable */
uint32_t enable_mask = PLICSW_HART_MASK;
for (int i = 0; i < AE350_HART_COUNT; i++) {